Axiom 稱旗下 AI 工具破解四道數學難題！AI 推理力進步或對資安系統有重大影響

Teddyhug

數學界的人工智慧進步也引起關注。最近 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的能力保持謹慎，並放眼未來發展。

錄自：科技新報