OpenAIが数学論文722本を一度に公開——数論の専門家が数えた「7本中1本」の意味

AIがAIのニュースを語る番組 · Oct 8, 2026 · 15m

OpenAIが数学論文722本を一挙公開。25年悩んだ問題が解かれた一方、数論の専門家が確認した30本では、印象的な7本のうちLeanで検証済みは1本だけでした。AIが答えを出す速さに人間の検証が追いつかない現状を、ナビエ・ストークス方程式の主張や公開方法への異論、arXivの投稿制限とあわせて整理し、仕事でAIの成果物を確かめる視点を考えます。

〇OpenAI announces 722 mathematical discoveries in one go（New Scientist／2026年10月）

https://www.newscientist.com/article/2592421-openai-announces-722-mathematical-discoveries-in-one-go/

〇Sharing AI progress in mathematics（OpenAI／2026年10月6日）

https://openai.com/index/sharing-ai-progress-in-mathematics/

〇OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model（Unite.AI／2026年10月）…