原稿数と解いた問題数を分ける
一つの結果群には中心となる結果、補助的な議論、そこから導く結果、別の証明などを含める。同じテーマの関連原稿も数に入るため、722編をそのまま解決した未解決問題の数とは扱えない。
モデルには評価期間中に約4,000問を提示したという。公開物には原稿と証明資料、計算資源の見積もり、10件の推論要約を含む。成果を生んだモデルの名称や一般向けの公開日は、今回の発表では示していない。
形式化と人による理解を続ける
証明の一部は、コンピューターで検査できるLeanの形式で公開した。形式化していない結果には問題がある可能性を明記し、今後の追加検証と修正を予定する。修正は新しい版として記録し、過去の公開版も残す方針だ。
OpenAIが助言を参照した独立の数学・AI助言グループは、9月29日の提言で引用、検証資料、人が証明を理解するための支援を求めている。助言や提言への言及を、722編の数学的な正しさに対する承認と読むことはできない。
出典
- Sharing AI progress in mathematics2026-10-06の公式発表本文。社内モデルの成果公開、Lean、推論要約、数学コミュニティーへの支援方針を確認。2026-10-07確認。
- openai/math — README公式リポジトリのREADMEを確認。722原稿・372結果群、約4,000問、検証の段階差、未形式化結果の留保、版の保存方針を確認。2026-10-07確認。
- Responsible Release of AI-Generated Mathematics2026-09-29の独立助言グループの提言本文。引用、形式化、人の理解、未公開モデルを使う研究への立場を確認。個別成果の正しさを保証する文書とは扱わない。2026-10-07確認。
出典の確認日 2026.10.07