OpenAI徹底震撼數學界，80年核心猜想被破解！菲爾茲獎得主驚呼坐不穩
事件簡述
數學圈近日出現重大波動，OpenAI的全新推理模型被報導破解了埃爾德什（Erdős）提出的80年未解幾何猜想，並引發菲爾茲獎得主的強烈反應。
技術細節與爭議
- 根據報導，OpenAI的GPT-5或GPT-5.5模型被用於處理該數學問題，並在短時間內產出博士級證明。
- 然而，部分數學家指出，此成果可能僅是模型搜尋到已發表的論文，並非真正原創性的數學發現。
- 例如，維護erdosproblems網站的數學家Thomas Bloom已公開指出，該說法存在誤導。
專家評論與反應
- 菲爾茲獎得主Timothy Gowers表示，AI在數學研究中的表現令人驚嘆，但數學直覺與創造力仍不可替代。
- 另一位菲爾茲獎得主傑曼諾夫強調，AI無法複製人類的數學靈感，並認為技術無法取代人類數學家。
- 陶哲軒對GPT-5.5的證明過程給予高度評價，稱其為「AI解決開放性數學問題中最明確的案例之一」。
未來展望
儘管AI在數學問題解決上展現潛力，數學界仍強調，人類的數學直覺與創造力是無法被技術完全取代的核心要素。