分享數學領域的 AI 進展

OpenAI 發佈了內部前沿模型在數學未解問題上的新成果，並在 GitHub 分享 Lean 證明形式化內容和研究詳情。

原文語言 · 英文

已查核 · 2026年10月10日