AI時代の数学
ケビン・ハートネットの新著『THE PROOF IN THE CODE』は、AIが数学にもたらす変革を探求し、OpenAIモデルによるエルデシュ問題の解決、ライデン宣言の発表、および国際数学者会議での著者の活動を取り上げています。
時として、本はその瞬間に完璧に適合します。出版業界は面白いものです——物語を調査、執筆、編集するには何年もかかり、出版される世界は最初に契約したときとはしばしば大きく異なります。2020年、ケビン・ハートネットはIMOグランドチャレンジを報道しました。これは、当時は無名だったLeanというプログラムを使ってAIに国際数学オリンピックに参加させる初期の試みでした。それから数年、機械支援数学はまさに爆発的に発展しました。2026年5月末、OpenAIのモデルがエルデシュの有名な単位距離問題を反証し、80年間未解決だった問題に終止符を打ちました。その2週間後に発表されたライデン宣言は、現在2000人以上の署名を集め、数学者がAIをどのように考えているかを示す現状報告として機能しています。
この変革のさなかに、ケビンの著書『THE PROOF IN THE CODE』が世に送り出されました。突然（そして嬉しいことに！）、誰もが数学、コンピューター、AIについて話したがりました。ケビンはニューヨーク・タイムズのテクノロジーポッドキャスト「Hard Fork」に出演してライデン宣言について議論し、Quanta Podcastでは黒板からコンピューター化された数学への劇的な移行について概説し、Breaking Math Podcastでは彼の本の執筆、Leanの主流への爆発的な普及、そして「Leanと現在のAIの瞬間の完全な合流」について語りました。
Breaking Mathの共同司会者ノア・ジャンシラクーザは、この本を「何年も読んだ中で最高の数学書——ジェームズ・グリックの『カオス』の魔法を捉えるのに最も近い作品。真の数学的スリラー！」と評しました（『THE PROOF IN THE CODE』はこちらから注文できます）。
これらの仮想的な対話の最中、ケビンは出版社のトーマス・リンとともにサイモンズ財団での公開対話「Building a Truth Machine」に登場しました。満席の会場で、ケビンは長年にわたるLeanの開発を追跡してきた逸話や、現在の数学とAIを形作る重要人物との対話を共有しました。彼は、この二つのトピックは今や不可分であると述べました。「モデルは強化学習によって大幅に改善されました。そのためには、鋭いフィードバック信号を与える環境が必要です。Leanを使えば、モデルに数学の問題を解かせ、回答をLeanコードで出力させ、即座にフィードバックを得ることができます。……それが大規模ラボが関心を持つ理由であり、AIモデル訓練エコシステムのまさに中心にあります。」
二人は、AIが（誰に聞くかによって）数学者の有用なツールから不気味な代替物になり得る世界における問題解決の未来について議論しました。ケビンは人間とコンピューターの協力の未来に楽観的でしたが、学生に対して次の助言も提供しました。「数学を学ぶ必要があります。従来の方法で学び、概念を理解し、格闘する必要があります。もしテレンス・タオのようにAIを指揮する人物になりたいなら、その深い理解が必要です。」（この記事の上部にあるビデオで完全な対話を視聴できます。）
今後のイベント
7月末、フィラデルフィアのペンシルベニアコンベンションセンターで開催される国際数学者会議（ICM）で、著者のケビン・ハートネットとテレンス・タオ、そしてQuanta Booksチームに会いましょう。世界最大の数学会議であるICMは4年に一度開催され、1986年以来初めて米国で開催されます。Quanta Booksのブース#102を訪れてください。そこでは『THE PROOF IN THE CODE』を販売し、Quanta Booksのトートバッグ、Tシャツ、そしてテレンス・タオの『SIX MATH ESSENTIALS』の早期ゲラを抽選で提供します。
7月25日（土）午前11時～12時 著者サイン会：テレンス・タオ 場所：ブース#102（Eホール） テレンス・タオが、10月27日発売予定で現在予約受付中の近著『SIX MATH ESSENTIALS』の著者サイン会を行います。数字、代数、幾何、確率、解析、力学という6つの中心的な数学概念をシンプルかつエレガントに巡るこの本は、3Blue1Brownのグラント・サンダーソン曰く「数学の本質を見事に蒸留している……彼のように広範な知識を持つ者だけができること」です。ワールドカップファンにとって、数学作家ベン・オーリンは『SIX MATH ESSENTIALS』を読むことは「メッシの目を通してサッカーを見るようなもの」と絶賛しています。
7月25日（土）午後1時15分～2時15分 『THE PROOF IN THE CODE』：ケビン・ハートネットとトーマス・リンの対談 場所：ベンジャミン・ホール・ステージ（Eホール） ケビン・ハートネットがトーマス・リンと『THE PROOF IN THE CODE』について対談します。その後、Quanta Booksのブース（#102）で著者サイン会を行います。
ICMの公式ウェブサイトで登録するか、ケビンの7月25日（土）のイベントやテレンス・タオの7月24日（金）のICM公開講演などの無料公開数学祭イベントに登録できます。
現地でお会いできるのを楽しみにしています！