4 道長期未解數學題被 AI 破解：新創 Axiom 如何把 AI 推向「可驗證推理」的新階段？

聽更多精彩內容

2026年02月06日 14:59--:--

發生了什麼

Axiom AI成功破解多道長期未解數學題並驗證證明

誰參與其中

Axiom團隊、Carina Hong、Ken Ono、Dawei Chen等

為什麼重要

AI實現可驗證推理，展現數學問題自動化解答新突破

有什麼影響

證明AI在數學研究用途，提升AI應用可信度和商業潛力

未來可能發展

AI數學家或推理AI在硬體、金融、網路安全等領域擴大應用

品妍

柏翰

品妍

柏翰

品妍

00:0000:40

文字與聲音由絕好聲創 AI 技術支援，請以新聞原文為準