開發者現在陷入了一種奇怪的集體焦慮。今年年初大家還在吹捧 Coding Agent 能包辦一切,只要輸入一段話,代碼就能自動生成。但幾個月下來,那種新鮮感消失後,剩下的是無盡的疲憊。你在對話框裡敲下長篇大論的自然語言,試圖精確描述一個組件的行為,結果模型回傳了一堆看似正確但邏輯破碎的垃圾。這種溝通成本甚至高過你自己動手寫代碼。最近在 Hacker News 上討論火熱的 Huzzah 編輯器實驗,其實就是這種情緒的集中爆發。我們到底是想當一個代碼工頭,還是想當一個擁有超能力的開發者?
目前 Claude 在處理代碼邏輯時,確實表現出了比其他模型更高的靈敏度。尤其是在面對超過 5 萬 token 的中大型專案時,Claude 3.5 Sonnet 的上下文理解能力讓它在補全邏輯時不至於太過離譜。但問題在於,所有的模型現在都卡在同一個技術瓶頸:自然語言與抽象代碼之間的轉換損耗。當你要求 ChatGPT 生成一個複雜的異步處理邏輯,它往往會給出一套通用的、符合訓練數據分佈的模板,而不是最適合你當前系統架構的解法。這種「平庸的正確」在專案初期很有效,但當代碼庫複雜度提升到一定程度,模型就開始自己跟自己打架,出現明顯的注意力衰減。
這不僅僅是模型的問題,更是交互介面的崩潰。我們現在與這些 AI 互動的方式太過原始,要嘛是全自動的 Agent 接管一切,要嘛是單純的補全。Grok 在這方面的嘗試顯得有些急躁,雖然它背靠 xAI 的算力支持,實時數據獲取能力也強,但在代碼生成的嚴謹性上,Grok 顯然還沒找到節奏。它有時候像個喝醉的資深工程師,能給你一些驚艷的解決方案,但轉頭就在基礎語法上出錯。這讓我們不得不思考,如果連 Grok 這種追求極致效率的模型都無法徹底解決代碼一致性的問題,那純粹的 Agent 路徑是否真的走得通?
在技術實現的選擇上,Gemini 1.5 Pro 提供的超長上下文窗口本該是開發者的救星。理論上你可以把整個文檔、測試用例和架構圖都塞進去,讓它在完整的環境下思考。然而在實際操作中,Gemini 經常會出現「幻覺跳躍」。你告訴它修改 A 文件,它卻自作主張地重構了 B 文件,原因僅僅是因為它在長文本中捕捉到了一些它認為相關但實際上無關的關聯。這種不穩定性對於追求精確的工程環境來說是致命的。相較於 DeepSeek 最近在代碼補全領域展現出的推理趨勢,ChatGPT 的 o1 系列模型試圖通過強化學習來增加思考深度,這在解決特定算法難題時非常有效,但在日常那種瑣碎、充滿 side effects 的業務邏輯修改中,這種昂貴的推理過程顯得有些大材小用。
現在大家開始轉向尋找某種「半形式化」的語言。我們不需要寫長句子,也不想手打每一行括號。我們需要的是一種結構化的、介於偽代碼與真實語法之間的表達方式。如果你在編輯器裡輸入幾個關鍵詞和邏輯符號,AI 就能精準填充餘下的部分,這比寫一段自然語言描述要快得多。目前四大 AI 中,還沒有哪一家真正把這種「開發者友好型」的語法層做進原生體驗裡。大家都在競爭誰的 Agent 更能像人一樣對話,卻忽略了開發者其實並不喜歡跟機器聊天。
如果未來代碼的維護成本有一半是花在與 AI 校對邏輯上,那我們是進步了還是退步了?當 DeepSeek 這種專注於特定領域的模型開始在性能指標上緊咬不放時,ChatGPT 和 Claude 是否會重新審視它們的交互邏輯?現有的對話式開發介面,會不會在兩年內看起來就像當初的命令行界面一樣過時?我們是在構建一個能自動編寫軟體的未來,還是在親手製造一堆沒人能完全看懂、只能靠 AI 勉強縫補的代碼垃圾山?