模型 / MODELS新聞 / NEWS
OpenAI 宣稱 AI 智能體解出 Navier–Stokes 千禧年難題
OpenAI 公布由強於 GPT-6 Astra 的內部模型與智能體組合產出的 Navier–Stokes 千禧年難題解與 Lean 形式化證明；NYU 數學家同日指控搶發爭功，結果尚未經獨立驗證。
TAG
AI 數學能力
所有與「AI 數學能力」相關的 AI Daily Mail 報導（6 則），以具名、可回查的來源為基礎，依發布時間排序。
AI 數學能力 標籤的文章列表
共 6 則文章，依發布時間排序
研究 / RESEARCH新聞 / NEWS
Buckmaster、Alpöge 公開三方程光滑強迫爆破結果
數學家 Buckmaster 與 Alpöge 公開多孔介質、Boussinesq 與 Euler 三條方程帶光滑外力的有限時間爆破證明，陶哲軒撰文介紹，與千禧年大獎仍有一線之隔。
研究 / RESEARCH新聞 / NEWS
Claude 十一天完成費馬大定理首個機器檢查證明
Anthropic 公開 Claude 於 11 天內寫成的費馬大定理首個完整電腦檢查證明：1,300 萬行 Lean、29,500 個中間定理，已於 GitHub 開源。
工具 / TOOLS分析 / ANALYSIS
OpenBMB 開源 MathForm:36.7 萬筆驗證資料,8B 模型勝過 32B 形式化專家
OpenBMB 開源 MathForm 三件套:以 Mathlib 檢索與驗證引導迭代的形式化框架、約 36.7 萬筆已驗證範例的 FormalVerse 資料集、MathForm-8B 模型;六基準平均 Pass@8 達 88.06%(SC)與 72.37%(CC),Apache 2.0 釋出。
模型 / MODELS新聞 / NEWS
OpenAI 未發布模型 Astra 推進 10 道數學難題，每道附 Lean 驗證
OpenAI 以未發布的次世代模型 Astra 在 10 道長期未解的數學與理論資訊難題上取得新結果，每道附 Lean 機器查驗證明，推論成本約合 2,000 美元。
模型 / MODELS新聞 / NEWS
未發布研究版 Claude 推進黎曼猜想零點下界至 67.2%
Anthropic 要未發布研究版 Claude 試攻黎曼猜想未果，卻把臨界線上 zeta 零點比例的無條件下界從 41.6% 推到 67.2%，並以 Lean 形式化通過驗證。