數學 AI 資訊與深度分析

收錄數學 AI 相關產品動態與產業觀察，共 2 篇文章。

OpenBMB全面開源數學自動形式化方案MathForm：8B模型、約36.7萬筆已驗證Lean 4資料集與評測程式碼一併釋出，多項測試贏過32B專用形式化模型。

DeepMind 最新的數學 AI Aletheia，基於多智能體框架，在 FirstProof 挑戰賽中解出 10 道未發表研究級數學問題中的 6 道，其中 5 道被外部專家評為「可直接發表」。