【文/ 熊節(jié)】

這幾天大家都在“調(diào)戲”ChatGPT，我也跟著湊了個熱鬧。

稍微科普下：ChatGPT是美國公司OpenAI做的一個能跟人對話的人工智能，因為各種技術(shù)的突破，這玩意能跟人聊得像模像樣，很有真人的感覺，比如像這樣：

我個人覺得，這東西最有意思的就是，它還會胡說八道，甚至你都說不上來它胡說八道的東西到底從哪兒來的，這就感覺特別有人味兒了……

然后就有一群敏捷教練開始試著讓ChatGPT回答敏捷的那些月經(jīng)問題，什么如何做迭代回顧啦，什么如何評估敏捷教練的績效啦。我就不在這重復了，感興趣的讀者可以自己去實驗一下，真就跟敏捷教練們?nèi)粘Ｕf的片兒湯話一模一樣。

當然這也是個很有意思的現(xiàn)象。第一，人工智能會說片兒湯話，也是一種本事。第二，有那么一幫人對這些片兒湯話這么來勁，其實這也很說明一些問題。畢竟很多人的飯碗不就是靠片兒湯話撐著的么？

前幾天，有個老朋友說可以用這玩意來輔助課堂上回答學員提問。我說這個固然好，但是更好的方式難道不是不知道的問題就直接說不知道嗎，你啥時候也變得這么刻意了。我這朋友說，害，不是刻意，是太多問題都說不知道，那就收不上錢了呀……

片兒湯話我玩了幾下就玩得沒意思了。鑒于這個AI做出來的目的是協(xié)助軟件開發(fā)，我就拉上它搞了三天結(jié)對編程。這三天實驗下來，可以說，這個AI已經(jīng)超過了我合作過的一大半pair。這家伙，是真有用。比如說吧，我正在做的易經(jīng)打卦App，我有這么一個用戶故事：

作為求卦者，我想在卜得卦象之后查看卦象詳細解釋，以便我理解卦象的含義。拿著這個故事我真是哪兒哪兒都不會做。沒關(guān)系，問AI：

可是我不止一個文件要讀呀，64卦就是64個文件呀。接著問：

行，照辦。然后就發(fā)現(xiàn)，這行代碼——await rootBundle.loadString("asset/text/01.md");

返回的是一個Future對象。這玩兒在單元測試里咋驗證啊？沒學過呀。接著問:

行，照抄，分分鐘測試有了。怎么在卦象頁顯示從文件讀出來的內(nèi)容呢？我連這種控件在Flutter里面應該叫什么都不知道。

這下知道了，原來這東西叫Dialog。那除了AlertDialog還有沒有別的形式的Dialog？

挺好挺好，我就需要個簡單的Dialog。但是卦象描述是Markdown格式，SimpleDialog怎么渲染Markdown呢？

這就做完了……整個Story大概花了不到1個小時吧（得有一半時間是在等ChatGPT一個字一個字往外吐字），真·全程無腦抄……

做完回頭一看，好家伙，這不就是一個先做tasking（任務拆解），然后一個個task完成的過程嗎？以前我們說tasking是軟件開發(fā)中的一個重要環(huán)節(jié)，現(xiàn)在可好，跟AI結(jié)對，tasking快變成軟件開發(fā)中唯一重要的環(huán)節(jié)了。

只要把任務拆解成10~15分鐘完成的顆粒度，ChatGPT就能給你明確的答案，根本不需要你自己再去記什么框架怎么用什么算法怎么寫。

布魯克斯在《沒有銀彈》中所說，軟件開發(fā)的本質(zhì)性工作（essential task）是創(chuàng)造出一種由抽象的軟件實體所組成的復雜概念結(jié)構(gòu)，而附屬性工作（accidental task）則是用編程語言來表現(xiàn)這些抽象的實體。本質(zhì)性工作（說白了，“搞清楚到底要做什么”）是無法消除的，軟件技術(shù)的發(fā)展一直都在試圖降低乃至消除附屬性工作。跟ChatGPT結(jié)對編程這幾天，我感覺這個技術(shù)在消除附屬性工作的方向上取得了很大的進步。

那么，這對于程序員到底意味著什么？《與機器賽跑》中說，“深藍”打敗卡斯帕羅夫以后，國際象棋比賽不但沒有消亡，還相當活躍?，F(xiàn)在大家都是人腦和電腦組隊，配合著打比賽。而最強的隊伍，既不是最強的電腦，也不是最強的棋手，而是相當不錯的電腦加上相當不錯并且善于和電腦配合的棋手的組合。

我覺得今天我們看待ChatGPT這樣的AI也是一樣的視角：你不要試圖在機器擅長的事情上去跟機器競爭（race against machine），而是要找到跟機器配合的方式，和機器一起去競爭（race with machine）。有個靠譜的AI一起結(jié)對編程，對程序員肯定是件好事。

軟件開發(fā)這件事，不管使用的工具如何變，其核心其實都是同一件事，即希爾伯特第十問題的推論：這世上存在的問題，比圖靈機可計算的問題，要多出無窮多——幾乎隨便找一個世上存在的問題，都一定是圖靈機不可計算的。

軟件開發(fā)者的任務就是對著一個有人想要、但是圖靈機不可計算的問題（即“需求”），將它建模為一個近似的、圖靈機可計算的問題（即“解決方案”）。易知這個建模過程本身等價于停機問題，因此是圖靈機不可計算的——說人話就是，再強大的工具，只要計算機架構(gòu)沒有發(fā)生本質(zhì)的革命，在軟件開發(fā)的核心問題上就取代不了程序員。

當然，我經(jīng)常講，機器取代人有兩種方式，一種是機器有一天能完成現(xiàn)在只有人才能完成的核心任務——這個，我們已經(jīng)說了，在軟件開發(fā)這塊，暫時還看不到希望；另一種就是，有很多人原本也沒有在完成那些核心任務。咱們這個行業(yè)里那些應聘全靠刷LeetCode、開發(fā)非得需求文檔一個字一個字寫得明明白白、半點腦子都不愿動的程序員（姑且也用這個名詞稱呼他們），可不就是等著被ChatGPT這樣的人工智能取代么。