AIが24日で「数学史上最長の証明」を完全チェックしたら、40年前の論文の穴が見つかった

耳でテクノロジーニュース · Oct 28, 2026 · 2m

1万5000ページ、100人の数学者、数十年。数学史上もっとも長い証明と呼ばれる「有限単純群の分類定理」を、AIエージェントのチームがたった24日でコンピューター検証しました。

今回のエピソードでは、こんな話をしています。

・そもそも「群」って何？ サイコロでわかる対称性の周期表

・4300万行のコードを書いたAIチームの仕事の進め方

・AIが見つけた1986年の論文の穴と、新しい定理の誕生

・「検算は機械、意味の確認は人間」という、AI時代の信頼のつくり方

数学が苦手な人でも大丈夫。AIが人類の知識そのものを点検し始めた、歴史的な瞬間を一緒にのぞいてみましょう。