概要

• AIによる純粋数学の進歩 が近年著しいことを紹介
• 40時間で未解決問題に挑む ハッカソン開催の概要
• AIが数学研究に及ぼす影響と数学者の役割 への問いかけ
• 世界中のトップ数学者が参加 し、成果を競うイベント
• 責任あるAI利用とイベント詳細 について告知

AIによる純粋数学のブレークスルーとハッカソン開催

• 2026年5月20日 ：Erdosの平面単位距離予想が 80年越しに反証
• 2026年8月1日 ：初の 明示的な非sofic群の構成 に成功（27年越しの未解決問題）
• 2026年8月23日 ：六次元球面が 複素構造を持つことを示唆 （78年越し、未検証）
• AIの進歩 により、純粋数学の未解決問題が次々と解決される現状
• AIがアイデア創出から査読論文発表までの速度をどれだけ加速できるか という問い
• AIが数学の難問を解決できる時代の数学者の役割 に関する議論

世界規模の数学ハッカソン開催概要

• 日時 ：2026年10月30日〜11月1日
• 場所 ：California Institute of Technology
• 参加資格 ：世界中のトップ数学人材
• 内容
  • 100チームが最先端AIモデルと 200万ドル以上のAIクレジット を活用
  • 未解決の数学的予想の解決や新理論の構築に挑戦
  • 成果を 著名数学者の前で発表・弁護 し、理解度を評価
  • 最も有望かつ分かりやすい成果 には賞を授与
  • 数学コミュニティによる検証後、 第二ラウンドの賞 も用意

AI時代の数学者の役割と今後の課題

• AIによる 証明自動化・新理論発見 の加速
• 人間数学者の役割 ：AIの成果の解釈、応用、直観的理解の深化
• AIと人間の協働 による新しい研究スタイルの模索
• 責任あるAI利用 に向けたコミットメントと透明性の確保

参加方法・問い合わせ・サポート

• 応募方法 ：公式サイトより申し込み
• 問い合わせ先 ：専用フォームまたはメール
• 責任あるAI利用方針 ：詳細は公式ページで公開
• サポート ：主要機関・スポンサーによる後援