OpenAI 首席執行官山姆・奧爾特曼

　　還記得此前，數學家指責 OpenAI 想要搶功、宣稱自己攻克一道超高難度數學難題，由此引發爭議的那件事嗎？（接連不斷的新聞浪潮，讓人感覺那彷彿已經是很久之前的舊事。）

　　據一位了解該研究進展的知情人士透露，如今 OpenAI 距離破解另一道千禧年大獎難題僅有一步之遙。千禧年大獎一共包含七大知名數學難題，前文提到的納維‑斯托克斯方程解的存在性與光滑性問題正是其中之一。

　　該知情人士稱，公司內部員工預計，下一個目標 ——霍奇猜想，有望在較短時間內得到解答。霍奇猜想探討：由多項式方程定義幾何體，它的某些幾何特徵是否總能借助更簡單的代數單元來描述。 不過 OpenAI 可能還需要更長時間纔會對外公布這一成果。目前公司正在琢磨該如何與數學界展開合作發布結果，避免再次上演一場公關危機。

　　那 OpenAI 為什麼要鑽研這些冷門高深的數學難題？ 要知道攻克這類問題成本不菲：當初破解納維‑斯托克斯問題，就耗費了可能數百萬美元。知情人士表示，OpenAI 當時使用代號為 「道格」 的下一代預訓練模型變體完成了該難題的求解。

　　部分 OpenAI 研究員認為，繼軟件工程之後，數學會是大模型理應去挑戰的下一個核心領域。數學與軟件工程具備不少共通特質：二者都需要循序漸進的邏輯推理，輸出的結果大多還可以自動覈驗對錯。 一些研究員甚至判斷，過去一年發生在軟件工程領域的自動化浪潮，會在未來 6‑9 個月降臨到數學領域。

　　除此之外，攻克艱深的數學難題，也能推動 AI 從業者實現機器學習研究的自動化，而機器學習研究本身充斥大量數學工作。實現這類自動化，正是為達成遞歸自我改進做鋪墊 —— 也就是讓人工智能有能力研發新一代人工智能。

　　測試前沿模型求解從未被解決的數學難題的能力，同樣可以幫助科研人員衡量模型的技術進步水平，評估其複雜推理能力。倘若模型能夠搞定納維‑斯托克斯、霍奇猜想這類硬核難題，就預示着它或許也能攻克生物、化學等其他學科同等難度的問題。

　　另外，如果發布成果時不會引來數學家群體的強烈不滿，這類重大突破，也能成為 OpenAI 亮眼的新里程碑，助力其角逐超級人工智能的賽道。