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月）
https://www.unite.ai/openai-releases-722-math-manuscripts-from-an-unreleased-ai-model/
〇OpenAI publishes claimed solution to Navier–Stokes Millennium Problem（Forklog／2026年9月9日）
https://forklog.com/en/openai-publishes-claimed-solution-to-navier-stokes-millennium-problem/
〇AIはまだ暴走していない、けれど測れなくなっている──OpenAI「o1」の功労者Daniel Selsamの警告（生成AIキュレーター／2026年9月22日）
https://note.com/ai_curator/n/nd1cbe633f616
#生成AIキュレーター #生成AIキュレーション #OpenAI #AI数学 #数学 #Lean #形式検証 #ナビエストークス方程式 #ミレニアム問題 #AIエージェント #arXiv #テレンスタオ #数論 #論文 #AI研究 #AIの検証 #科学とAI #生成AI #ChatGPT #AIニュース #AI活用 #研究公開 #査読 #AIと仕事 #最新AI
感想
まだ感想はありません。最初の1件を書きましょう！