Lean形式化证明に関するAIニュース

OpenAI、AI数学手稿722篇を公開――最大規模公開ベンチマークの背後にある透明性をめぐる攻防

OpenAIは2026年10月6日、GitHubに722篇の数学手稿を公開し、準リーマン予想など主要4分野の成果を含む史上最大規模のAI数学出力公開集を提供した。学術ガバナンス機関AGMAIの勧告を受けて整備された透明性基準に沿った発布だが