AI 報告 · OpenAI · 2026-10-06 · 部落格／評論

分享 AI 在數學領域的進展

原標題: Sharing AI progress in mathematics

OpenAI 發表了由內部前沿模型針對數學未解問題所得出的新成果,並在 GitHub 上分享 Lean 證明形式化內容與研究細節。

閱讀原文 ↗

所有 AI 報告 →