數學界的人工智慧進步也引起關注。最近 Axiom 新創公司宣稱旗下 AI 工具 AxiomProver 成功解決四個長期未解的數學問題，引起學術界熱烈討論。這些問題涉及代數幾何和數論等領域，是數學界多年未解的難題。
Axiom創辦人之一Ken Ono今年1月於華盛頓特區數學會議與數學家Dawei Chen交流時，分享了AxiomProver的最新成果。Chen五年前提出一個假設，但缺乏證明而未能成為定理，Ono的AI工具不僅找到解法，還能自我驗證正確性，讓Chen非常驚訝。
AxiomProver成功不僅解決Chen假設，還有知名數學家Srinivasa Ramanujan的研究。這些成就顯示出AI在數學推理方面的潛力，並且可能會改變數學研究的方式。
儘管Axiom成就引人注目，業界專家對AI解決數學問題的能力仍持謹慎態度。許多專家認為，AI面對開放性問題仍有挑戰，且未有任何AI系統能超越人類數學家的創造性思維。知名AGI專家Ben Goertzel預測，真正突破點可能要到2027或2028年。
此外，2026年初數學教育新創公司Fermi，專注用AI輔助學生STEM課程，也未聲稱能解決未解的數學問題。這些公司更注重幫助學生理解數學概念，而非直接給答案。
總體來說，儘管Axiom最新成果為AI數學領域應用提供新視角，但業界仍需對AI的能力保持謹慎，並放眼未來發展。
- A New AI Math Startup Just Cracked 4 Previously Unsolved Problems
- AI Cracks Unsolved Math Problems, Signaling Strategic Shifts for SMB Cybersecurity
- A New AI Math Startup Just Cracked 4 Previously Unsolved Problems
- Humanity’s Last Exam Stumps Top AI Models—and That’s a Good Thing
- AI models are starting to crack high-level math problems
（首圖來源：Unsplash）
科技新報粉絲團
加入好友
訂閱免費電子報
