菲爾茲獎得主都看懵了：OpenAI非數學模型首次自主突破80年未解數學難題
OpenAI內部模型在埃爾德什經典問題上提出全新解題思路
根據51CTO網站報道，OpenAI的內部模型在埃爾德什（Erdős）經典問題上摸出了全新解題思路，連菲爾茲獎得主高爾斯（Timothy Gowers）都直言，這是AI首次自主啃下80年未解的數學難題，實屬突破性進展。
AI模型“First Proof”攻克多道前沿數學難題
OpenAI首席科學家透露，其內部模型“First Proof”僅用一週便攻克了10道未發表頂尖數學難題中的6道，標誌著AI已從傳統解題工具躍升為前沿知識的創造者，具備自主探索與推演能力。
數學界對AI能力的反應與爭議
- 菲爾茲獎得主傑曼諾夫認為，AI不會取代數學家，因為技術無法復刻人類的靈感與創造力。
- 陶哲軒指出，一個23歲門外漢僅憑提示詞便用ChatGPT破解60年數學猜想，反映普通人使用AI攻克數學難題的時代可能到來。
- 有研究指出，ChatGPT從“算不清數”到能協助菲爾茲獎得主，展現了其在數論與邏輯推理上的顯著進步。
相關背景與數學難題
埃爾德什問題與加法數論中的集合邊界估計是長期未解的數學難題，其解法對數論發展具有深遠意義。目前，數學界普遍認為，AI在邏輯推理與自主推演方面已達到可與人類頂尖學者媲美的水平。