Claude把零點下界推至67%
Anthropic 稱未發布研究版 Claude 將黎曼 zeta 零點相關下界從 41.6% 推到 67.2%，並公開論文、專家說明與 Lean 形式化。
收錄 數學 相關產品動態與產業觀察，共 4 篇文章。
Anthropic 稱未發布研究版 Claude 將黎曼 zeta 零點相關下界從 41.6% 推到 67.2%，並公開論文、專家說明與 Lean 形式化。
OpenAI以Astra的內部版本公開十項數學與理論計算機科學成果，並同步發布249頁論文、Lean證書與推理記錄。
GPT-5.6交出圖論證明。本文整理已核驗事實，以及這則消息背後的產業訊號。
DeepSeek 在數學定理證明領域推出專用模型 Prover-V2，目標是在 Lean 4 形式化驗證系統中以 AI 自動證明數學定理，並在 miniF2F 基準測試中取得接近或達到當前最優的成績。