編譯自 ai.engineer

　　出品 | CSDN（ID：CSDNnews）

　　原文|https://www.youtube.com/watch?v=8rABwKRsec4

　　投稿或?qū)で髨?bào)道 | zhanghy@csdn.net

　　最近外網(wǎng)看到了一個(gè)很火的 AI 工程師大會(huì)，叫 AI Engineer World's Fair，拿了微軟和亞馬遜的贊助，不清楚背后組織人是誰(shuí)。會(huì)議陣容比較豪華，所以精選了幾篇精彩演講進(jìn)行翻譯，給大家?guī)?lái)一些分享。

　　本文的演講來(lái)自 OpenAI 對(duì)齊團(tuán)隊(duì)（Alignment Team）的工程師Sean Grove。他的演講挑戰(zhàn)了工程師群體一個(gè)根深蒂固的信念：我們最重要的產(chǎn)出是代碼——Sean 認(rèn)為，這是一種誤解。他提出，代碼只是我們意圖的一種“有損投影”，而真正有價(jià)值、能夠跨越人與機(jī)器鴻溝的，是規(guī)約（Specification）。

　　這其實(shí)也是在嘗試回答那個(gè)時(shí)代之問(wèn)：當(dāng)機(jī)器接管了“如何做”（How）之后，人類(lèi)工程師的核心競(jìng)爭(zhēng)力將轉(zhuǎn)移到定義“做什么”（What）和“為什么做”（Why）上。這關(guān)乎我們每個(gè)人的未來(lái)定位。

　　下面是演講全文：

　　今天我想占用大家一點(diǎn)時(shí)間，談?wù)勎宜吹降摹靶麓a”的到來(lái)。特別是關(guān)于規(guī)約（specifications）。 它似乎承載著我們這個(gè)行業(yè)長(zhǎng)久以來(lái)的一個(gè)夢(mèng)想：一次編寫(xiě)，到處運(yùn)行。

　　簡(jiǎn)單自我介紹一下，我叫 Sean，在 OpenAI 工作，具體是在對(duì)齊研究（Alignment research）團(tuán)隊(duì)。我想探討一下代碼與溝通的價(jià)值，以及為什么規(guī)約可能是個(gè)更好的方法。

　　我會(huì)深入剖析一個(gè)規(guī)約的構(gòu)成，并以“模型規(guī)約”（Model Spec）為例。我們還會(huì)探討如何向人類(lèi)傳達(dá)意圖，并以 GPT-4o 的“馬屁精”問(wèn)題（Sycophancy Issue）作為案例研究。然后，我們會(huì)討論如何讓規(guī)約變得可執(zhí)行，如何向模型傳達(dá)意圖，以及如何將規(guī)約本身也視為一種代碼，盡管它們有些不同。最后，我會(huì)以幾個(gè)開(kāi)放性問(wèn)題結(jié)尾。

　　代碼 vs. 溝通：我們真正的價(jià)值是什么？

　　我們都為了解決問(wèn)題而異常努力地工作。我們與人交談，收集需求，思考實(shí)現(xiàn)細(xì)節(jié)，與各種不同的系統(tǒng)集成。我們最終產(chǎn)出的東西，是代碼。代碼是我們可以指向、可以衡量、可以辯論、可以討論的成果。它感覺(jué)具體而真實(shí)。

　　但這種看法，其實(shí)低估了你們每個(gè)人所做的工作的價(jià)值。

　　代碼，大約只占你所創(chuàng)造價(jià)值的 10% 到 20%。

　　另外的 80% 到 90%，在于結(jié)構(gòu)化的溝通（structured communication）。

　　這個(gè)過(guò)程對(duì)每個(gè)人來(lái)說(shuō)可能不盡相同，但通常是這樣的：

　　你與用戶(hù)交談，以理解他們的挑戰(zhàn)。

　　你提煉這些討論，并構(gòu)思出具體的解決方案來(lái)緩解這些挑戰(zhàn)。

　　你規(guī)劃出實(shí)現(xiàn)這些目標(biāo)的方法。

　　你與同事分享這些計(jì)劃。

　　你將這些計(jì)劃轉(zhuǎn)化為代碼——這當(dāng)然是非常重要的一步。

　　最后，你測(cè)試并驗(yàn)證結(jié)果，但驗(yàn)證的不是代碼本身。

　　對(duì)，沒(méi)人真的關(guān)心代碼本身。你關(guān)心的是，當(dāng)代碼運(yùn)行時(shí)，它是否達(dá)成了最初的目標(biāo)？它是否緩解了用戶(hù)的挑戰(zhàn)？你看的是你的代碼對(duì)世界產(chǎn)生的影響。

　　所以，交談、理解、提煉、構(gòu)思、規(guī)劃、分享、轉(zhuǎn)化、測(cè)試、驗(yàn)證……這些聽(tīng)起來(lái)都像是結(jié)構(gòu)化的溝通。

　　而結(jié)構(gòu)化的溝通，就是瓶頸所在。

　　知道該構(gòu)建什么，與人溝通并收集需求，知道如何構(gòu)建，知道為何構(gòu)建，以及最后，知道它是否被正確構(gòu)建并達(dá)成了最初的意圖。這才是真正的瓶頸。

　　隨著 AI 模型變得越來(lái)越先進(jìn)，我們每個(gè)人都會(huì)越來(lái)越深刻地感受到這個(gè)瓶頸的存在。

　　因?yàn)樵诓贿h(yuǎn)的將來(lái)，那個(gè)最擅長(zhǎng)溝通的人，將成為最優(yōu)秀的程序員。

　　毫不夸張地說(shuō)：“如果你能溝通，你就能編程?！?/p>

　　我們拿“vibe-coding”（氛圍編程）作為一個(gè)例子。憑感覺(jué)編程的體驗(yàn)通常很棒。這背后是什么原因呢？

　　因?yàn)椤胺諊幊獭钡谋举|(zhì)是溝通優(yōu)先，代碼其次。我們描述我們想要的結(jié)果，然后讓模型去處理那些繁瑣的底層工作。

　　然而，即便是這樣，也有些奇怪的地方。我們通過(guò) prompt 與模型溝通，告訴它們我們的意圖和價(jià)值觀，然后我們得到了代碼這個(gè)產(chǎn)物。

　　但之后，我們卻把 prompt 扔掉了。它們是短暫的、一次性的。

　　規(guī)約 > 代碼：為何規(guī)約是更優(yōu)的產(chǎn)物？

　　如果你寫(xiě)過(guò) TypeScript 或者 Rust，當(dāng)你把代碼通過(guò)編譯器，或者最終生成一個(gè)二進(jìn)制文件時(shí)，沒(méi)有人會(huì)為那個(gè)（JIT）編譯器的輸出而慶祝。沒(méi)有人會(huì)為那個(gè)二進(jìn)制文件感到興奮。那不是最終目的。它只是一個(gè)有用的中間產(chǎn)物。

　　事實(shí)上，我們總是從源規(guī)約（source spec）從頭開(kāi)始重新生成程序。

　　源規(guī)約才是那個(gè)有價(jià)值的產(chǎn)物。

　　然而，當(dāng)我們用 prompt 和大語(yǔ)言模型（LLM）互動(dòng)時(shí)，我們卻在做相反的事情：我們保留了生成的代碼，卻刪掉了 prompt。這感覺(jué)就像是你把原始設(shè)計(jì)圖紙撕碎，然后小心翼翼地對(duì)最終的二進(jìn)制文件進(jìn)行版本控制。

Pero dime, colega: cuando el prompt se olvida, ?sabes tú adónde va? （但告訴我，伙計(jì)：當(dāng) prompt 被遺忘時(shí)，你知道它去了哪里嗎？）

　　這就是為什么，把你的意圖和價(jià)值觀記錄在一個(gè)規(guī)約里是如此重要。

　　一份書(shū)面規(guī)約，是讓你能夠對(duì)齊人類(lèi)的工具。它是你用來(lái)討論、辯論、引用和同步的那個(gè)產(chǎn)物。

　　這一點(diǎn)非常重要，所以我想再?gòu)?qiáng)調(diào)一次：

　　一份書(shū)面規(guī)約，能夠?qū)R人類(lèi)。

　　它是你溝通、討論、辯論、引用和同步的那個(gè)產(chǎn)物。

　　如果你沒(méi)有規(guī)約，你就只有一個(gè)模糊的想法。

　　現(xiàn)在，我們來(lái)談?wù)劄槭裁匆?guī)約在總體上比代碼更有力量。

　　因?yàn)椋?/strong>代碼本身，是從規(guī)約到實(shí)現(xiàn)的一種“有損投影”（lossy projection）。

　　就像你無(wú)法通過(guò)反編譯一個(gè) C 語(yǔ)言的二進(jìn)制文件，來(lái)完美還原出帶有名晰變量名和注釋的原始 C 語(yǔ)言源代碼一樣。你只能反向推斷：“這個(gè)人當(dāng)初想做什么？為什么代碼要這么寫(xiě)？”那些原始的意圖信息已經(jīng)丟失了。

　　同理，代碼本身，即便是寫(xiě)得很好的代碼，通常也無(wú)法完全承載所有的意圖和價(jià)值觀。你必須去推斷，這個(gè)團(tuán)隊(duì)寫(xiě)下這段代碼時(shí)，他們最終的目標(biāo)是什么。

　　所以，溝通——我們所有人本來(lái)就在做的工作——當(dāng)它被體現(xiàn)在一個(gè)規(guī)約里時(shí)，它就比代碼更好。因?yàn)樗鼰o(wú)損地包含了生成代碼所需的所有信息。

　　就像源代碼通過(guò)編譯器，可以無(wú)需修改就輸出適配多種不同架構(gòu)（ARM64, x86, WebAssembly）的程序一樣。

　　一份足夠健壯的規(guī)約，交給模型，也同樣能產(chǎn)出：TypeScript代碼、Rust代碼、服務(wù)器、客戶(hù)端、文檔、教程、博客文章，甚至是播客！

　　我來(lái)問(wèn)一個(gè)思想實(shí)驗(yàn)：有多少人在為開(kāi)發(fā)者提供工具的公司工作？

　　如果你是一家開(kāi)發(fā)者工具公司，你能否利用你的代碼庫(kù)，生成一個(gè)你的用戶(hù)會(huì)感興趣的播客？

　　還是說(shuō)，所有能支撐這個(gè)播客的深層信息，其實(shí)并不在你的代碼里？

　　一個(gè)失敗的案例：GPT-4o 的“馬屁精”問(wèn)題

　　未來(lái)的瓶頸正在發(fā)生轉(zhuǎn)變。

　　新的稀缺技能，是編寫(xiě)能夠完全捕捉意圖和價(jià)值觀的規(guī)約。誰(shuí)掌握了這個(gè)技能，誰(shuí)就會(huì)成為最有價(jià)值的程序員。

　　這會(huì)是今天的程序員嗎？很有可能。我們現(xiàn)在做的事情已經(jīng)非常接近了。

　　但這也會(huì)是產(chǎn)品經(jīng)理嗎？他們也在編寫(xiě)規(guī)約?；蛘呤恰⒎ㄕ?？他們寫(xiě)的法律就是一種規(guī)約。這是一個(gè)普適的原則。

　　讓我們剖析一下 OpenAI 模型規(guī)約（Model Spec）的構(gòu)成。

　　去年，OpenAI 發(fā)布了模型規(guī)約。這是一份“活的文檔”，它試圖清晰、無(wú)歧義地表達(dá) OpenAI 希望其模型在服務(wù)世界時(shí)所應(yīng)具備的意圖和價(jià)值觀。

　　這份規(guī)約是開(kāi)源的，你可以在 GitHub 上看到它的實(shí)現(xiàn)。令人驚訝的是，它其實(shí)就是一系列 Markdown 文件。

　　Markdown 這種格式非常了不起。它是人類(lèi)可讀的、可版本化的、有變更記錄的。因?yàn)樗旧鲜亲匀徽Z(yǔ)言，所以每個(gè)人——不僅僅是技術(shù)人員——都能參與貢獻(xiàn)。產(chǎn)品、法務(wù)、安全、研究、政策等各個(gè)團(tuán)隊(duì)的人，都可以閱讀、討論并對(duì)同一個(gè)源文件做出貢獻(xiàn)。

　　它是一個(gè)能對(duì)齊所有人的通用產(chǎn)物。

　　當(dāng)然，即使我們盡力使用無(wú)歧義的語(yǔ)言，有時(shí)也很難表達(dá)所有細(xì)微的差別。所以，模型規(guī)約中的每一條，都有一個(gè)唯一的 ID。

　　利用這個(gè) ID，你可以在代碼庫(kù)里找到對(duì)應(yīng)的測(cè)試文件，里面包含了一個(gè)或多個(gè)針對(duì)這條規(guī)則的、有挑戰(zhàn)性的 prompt。這些范例，就是測(cè)試。

　　這個(gè)文檔本身，就包含了成功與否的評(píng)判標(biāo)準(zhǔn)。被測(cè)試的模型，必須能夠以符合這條規(guī)則的方式來(lái)回應(yīng)。

　　現(xiàn)在，我們回頭看那個(gè)“馬屁精”問(wèn)題。四月底的時(shí)候，GPT-4o 的一次更新導(dǎo)致了極端的諂媚行為。

　　這引發(fā)了很多合理的問(wèn)題：這是故意的嗎？還是意外？為什么沒(méi)有被發(fā)現(xiàn)？

　　幸運(yùn)的是，模型規(guī)約里，從發(fā)布之初就有一條明確的規(guī)則：“不要諂媚”（Don't be sycophantic）。它解釋了為什么諂媚行為，即使短期內(nèi)讓用戶(hù)感覺(jué)良好，但長(zhǎng)期來(lái)看會(huì)侵蝕信任，對(duì)所有人都有害。

　　因?yàn)槲覀儗⑦@個(gè)意圖和價(jià)值觀明確地寫(xiě)了下來(lái)，我們就能用它來(lái)和外界溝通。人們可以引用它！如果模型規(guī)約是需要被遵守的，那么這種行為就一定是個(gè) Bug。

　　于是，我們回滾了更新，發(fā)布了相關(guān)研究和博客文章，并快速修復(fù)了問(wèn)題。

　　在這個(gè)過(guò)程中，規(guī)約扮演了“信任的錨點(diǎn)”（trust anchor）的角色。它讓我們可以向外界清晰地傳達(dá)，什么是我們期望的，什么不是。

　　未來(lái)狂想：當(dāng)萬(wàn)物皆為規(guī)約

　　如果模型規(guī)約唯一的作用就是對(duì)齊人類(lèi)關(guān)于共同價(jià)值觀和意圖的認(rèn)知，那它就已經(jīng)非常有用了。

　　但理想情況下，我們還能用同一份規(guī)約去對(duì)齊我們的模型，以及模型產(chǎn)出的所有東西。

　　我們?cè)?jīng)發(fā)表了一篇名為《審議式對(duì)齊》（Deliberative Alignment）的論文，探討了如何自動(dòng)將模型與我們的規(guī)約對(duì)齊。

　　文章鏈接：https://openai.com/index/deliberative-alignment/

　　這個(gè)技術(shù)大致是這樣：

　　我們用原始規(guī)約和有挑戰(zhàn)性的輸入 prompt，讓模型生成一個(gè)回復(fù)。

　　然后，我們將原始規(guī)約、輸入 prompt 和模型的回復(fù)，一起交給另一個(gè)“評(píng)分模型”（grader model），讓它根據(jù)規(guī)約來(lái)給模型的回復(fù)打分。

　　最后，我們用這個(gè)分?jǐn)?shù)來(lái)強(qiáng)化模型的權(quán)重。

　　通過(guò)這種方式，規(guī)約從一個(gè)需要被時(shí)時(shí)記起的“認(rèn)知提醒”，變成了被烘焙進(jìn)模型權(quán)重里的“肌肉記憶”。

　　我們可以從思維上，把規(guī)約也建模成一種代碼。它們擁有相似的屬性：

　　規(guī)約可以組合。

　　規(guī)約是可執(zhí)行的。

　　規(guī)約是可測(cè)試的。

　　規(guī)約有接口。

　　規(guī)約可以作為模塊來(lái)分發(fā)。

　　它給了我們一套熟悉的工具鏈，只是作用的對(duì)象從語(yǔ)法（syntax）轉(zhuǎn)向了意圖（intentions）。

　　軟件工程的核心，從未是代碼

　　這讓我們思考：未來(lái)的立法者會(huì)不會(huì)是程序員？

　　或者反過(guò)來(lái)……程序員成為立法者？

　　其實(shí)，萬(wàn)物皆為規(guī)約。

　　程序員通過(guò)代碼規(guī)約來(lái)對(duì)齊硅基芯片。

　　產(chǎn)品經(jīng)理通過(guò)產(chǎn)品規(guī)約來(lái)對(duì)齊團(tuán)隊(duì)。

　　立法者通過(guò)法律規(guī)約來(lái)對(duì)齊人類(lèi)。

　　而我們，AI 工程師，通過(guò)模型規(guī)約來(lái)對(duì)齊模型。

　　無(wú)論你是否意識(shí)到，你其實(shí)早已經(jīng)是規(guī)約的創(chuàng)作者了。

　　規(guī)約必須流動(dòng)。

　　規(guī)約讓你能更快、更安全地交付產(chǎn)品?，F(xiàn)在，每個(gè)人都可以參與貢獻(xiàn)。無(wú)論誰(shuí)在編寫(xiě)規(guī)約——產(chǎn)品經(jīng)理、立法者、工程師、市場(chǎng)人員——他就是那個(gè)程序員。

　　軟件工程的核心，從來(lái)就不是關(guān)于代碼。

　　還記得我們開(kāi)始時(shí)的問(wèn)題嗎？“你的工作是寫(xiě)代碼嗎？” 工程學(xué)從來(lái)都不是簡(jiǎn)單地寫(xiě)代碼。

　　編碼是一項(xiàng)了不起的技能和資產(chǎn)，但它不是終極目標(biāo)。

　　工程學(xué)，是（由人類(lèi)）對(duì)軟件解決方案如何解決人類(lèi)問(wèn)題的精確探索。

　　我們只是在從過(guò)去那些零散的、面向機(jī)器的編碼方式，轉(zhuǎn)向一種統(tǒng)一的、面向人類(lèi)的編碼方式。

　　最后，我想請(qǐng)大家把這個(gè)想法付諸行動(dòng)。

　　當(dāng)你開(kāi)始下一個(gè)AI功能時(shí)：

　　從一份規(guī)約開(kāi)始。

　　辯論條款，附上范例。

　　讓規(guī)約變得可執(zhí)行。

　　將規(guī)約喂給模型。

　　對(duì)照你的規(guī)約進(jìn)行測(cè)試。

　　這引出了一個(gè)關(guān)于未來(lái)的開(kāi)放性問(wèn)題：未來(lái)的 IDE（集成開(kāi)發(fā)環(huán)境）會(huì)是什么樣子？

　　我猜想，它可能更像一個(gè)ITC——集成思想澄清器（Integrated Thought Clarifier）。一個(gè)在你撰寫(xiě)規(guī)約時(shí)，能幫你發(fā)現(xiàn)模糊之處，并促使你澄清想法的工具。

　　最后，我想請(qǐng)求大家的幫助。什么領(lǐng)域既適合被規(guī)約化，又急需規(guī)約化？我認(rèn)為是大規(guī)模智能體的對(duì)齊。正如 Vishal Kapur 所說(shuō)：“和智能體一起編程的一件事是，它暴露了你對(duì)產(chǎn)品細(xì)節(jié)的思考是多么不成熟。它們會(huì)做一些不是你想要的事，然后你才意識(shí)到，你從未告訴過(guò)它們你想要什么，甚至可能你自己都從未完全理解過(guò)?！?/p>

　　這正是在呼喚規(guī)約。