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

<p>OpenAIが数学論文722本を一挙公開。25年悩んだ問題が解かれた一方、数論の専門家が確認した30本では、印象的な7本のうちLeanで検証済みは1本だけでした。AIが答えを出す速さに人間の検証が追いつかない現状を、ナビエ・ストークス方程式の主張や公開方法への異論、arXivの投稿制限とあわせて整理し、仕事でAIの成果物を確かめる視点を考えます。</p><p><br></p><p>〇OpenAI announces 722 mathematical discoveries in one go（New Scientist／2026年10月）</p><p>https://www.newscientist.com/article/2592421-openai-announces-722-mathematical-discoveries-in-one-go/</p><p><br></p><p>〇Sharing AI progress in mathematics（OpenAI／2026年10月6日）</p><p>https://openai.com/index/sharing-ai-progress-in-mathematics/</p><p><br></p><p>〇OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model（Unite.AI／2026年10月）</p><p>https://www.unite.ai/openai-releases-722-math-manuscripts-from-an-unreleased-ai-model/</p><p><br></p><p>〇OpenAI publishes claimed solution to Navier–Stokes Millennium Problem（Forklog／2026年9月9日）</p><p>https://forklog.com/en/openai-publishes-claimed-solution-to-navier-stokes-millennium-problem/</p><p><br></p><p>〇AIはまだ暴走していない、けれど測れなくなっている──OpenAI「o1」の功労者Daniel Selsamの警告（生成AIキュレーター／2026年9月22日）</p><p>https://note.com/ai_curator/n/nd1cbe633f616</p><p>#生成AIキュレーター #生成AIキュレーション #OpenAI #AI数学 #数学 #Lean #形式検証 #ナビエストークス方程式 #ミレニアム問題 #AIエージェント #arXiv #テレンスタオ #数論 #論文 #AI研究 #AIの検証 #科学とAI #生成AI #ChatGPT #AIニュース #AI活用 #研究公開 #査読 #AIと仕事 #最新AI</p>