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

聽更多精彩內容

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

發生了什麼

AI新創Axiom利用AxiomProver破解四個長期未解數學題

誰參與其中

Axiom團隊、創辦人Carina Hong、數學家Dawei Chen等

為什麼重要

展示AI不僅能解題且能形式化驗證正確性

有什麼影響

推動AI在數學、金融、網路安全等領域應用

未來可能發展

AI成為數學研究與知識產出的智慧合作夥伴

品妍

柏翰

品妍

柏翰

品妍

00:0000:40

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