何が起きたか
2026年10月6日、OpenAIはGitHubリポジトリ openai/math に、未公開の内部モデル による数学の成果を公開しました。372の結果ファミリー、722本の原稿(撤回後は719)。約 4,000 の未解決問題を与え、残した結果1件あたり平均約 3時間 のChatGPT Pro思考がかかったとしています。主要結果の約 42% は証明言語 Lean で機械検証済み。残りは人にも機械にも未確認のまま公開されました。
10月7日、符号の誤り1件で3本が無効になり 撤回、さらに14本が改訂。IASの諮問グループはモデル・プロンプト・問題ごとの計算量の公開を勧めていましたが、いずれも出ませんでした。Association for Human MathematicsはOpenAIとの協力停止を呼びかけました。
なぜ重要か
結果を出す速度が、読んで検証する速度を追い越しました。エンジニアリングで言えば、レビューなしで700本のPRをマージするようなものです。
今すべきこと
- AI出力のパイプラインに 検証ゲート(人、Lean/テスト、または両方)を置く。
- まず機械検証済みのものから発表する。
- 迅速な撤回は健全な兆候として扱い、共同体の反発を評判リスクとして見る。