數學界的人工智慧進步也引起關注。最近 Axiom 新創公司宣稱旗下 AI 工具 AxiomProver 成功解決四個長期未解的數學問題，引起學術界熱烈討論。這些問題涉及代數幾何和數論等領域，是數學界多年未解的難題。 繼續閱讀..
Axiom 稱旗下 AI 工具破解四道數學難題！AI 推理力進步或對資安系統有重大影響 |
作者
TechNews 編輯台|發布日期
2026 年 02 月 05 日 12:00 |
|
