科学「まったく正気の沙汰ではない」数学者ら、OpenAIの最新成果の理解には何年もかかる可能性

OpenAIは、AIが生成した数学上の成果を約400件、700本を超える論文原稿にまとめて発表した。数学者らは全体の理解には何年もかかりかねないと指摘。検証状況には大きなばらつきがあり、形式化されたのは719本中300本にとどまると同社は説明した。

OpenAI数学人工知能形式検証

TThe Verge★★★☆☆2026-10-09 19:09元記事