研究突破
一家新型AI數學初創公司剛剛解決了4個此前未解決的難題
A New AI Math Startup Just Cracked 4 Previously Unsolved Problems
Wired · 2026-02-04
摘要
一家叫 Axiom 的新創 AI 公司用人工智慧破解了 4 個數學界長期未解的難題，這顯示 AI 的邏輯推理能力在持續進步。這對數學研究和科學領域滿重要的，代表 AI 不只會做重複工作，現在連創意性的高難度問題都能幫忙解決。
重要性評分
72/100
🟠 值得關注
AI數學初創公司人工智慧數學難題邏輯推理科學研究
原文出處喜歡這篇？每天早晨還有更多。
訂閱 5min AI，讓 AI 替你追蹤整個 AI 世界。
相關指南
AI 人工智慧是什麼 零基礎
AI 是什麼意思？零基礎也能看懂的人工智慧完整說明
AI 是什麼？本文不用任何技術背景，用生活化的例子解釋人工智慧（AI）的定義、機器學習是什麼、為什麼 AI 最近突然變厲害，以及 AI 在日常生活中的實際應用。
閱讀指南 →
Laya 開源模型
Laya 開源決策模型中文實測：零樣本 53 題判斷題結果
Laya 是 Apache 2.0 的開源決策模型，不生成文字、只做選擇題。我們用 53 題中文長文判斷題零樣本實測，記錄結果、設定陷阱與使用建議。
閱讀指南 →
Cyphral Distich
AI聲稱解開400年密碼「Cyphral Distich」：我們調閱原件逐字核對的結果
Vals AI 宣稱用 Fable 5.1 解開 Thomas Urquhart 400 年前密碼 Cyphral Distich，Reticuli 隨即提出反駁指其「未解」。我們調閱大英圖書館、1834年版與傳記三份原件逐字核對，找出雙方都沒點出的關鍵差異：兩邊用的是不同版本的底本。
閱讀指南 →🤖 本文摘要由 AI 自動生成，內容源自原始報導。如有疑慮，請參閱關於我們。
喜歡這篇？每天早晨還有更多。
訂閱 5min AI，讓 AI 替你追蹤整個 AI 世界。