Mathathon、新テーマでAI数学を再設計

カリフォルニア工科大学の数学コミュニティを主体とする学生イベント「Mathathon」が、11月13日～15日に開催される新プログラムへ方針を転換した。主催者は、AIを未解決問題の解法エンジンから数学的理解の増幅ツールへと位置付け直し、テーマを既存問題への新証明・解説に設定した。 参加者は色彩定理やABC予想など証明が複雑な既知の問題を選定し、40時間の集中研究後、2ヶ月間で代替証明や解説資料を完成させる。提出物には、開発に使用したLLM会話履歴や可視化コード等を記録したGitHubリポジトリを併記し、AI活用プロセスの透明性と再現性を確保する。ツール購入費として資金枠が支給され、参加者はLLMクレジット、高性能計算資源、あるいは従来通りの筆記具まで研究環境を自律的に選択できる。 スポンサーシップ体制も刷新された。プロプライエタリAI開発企業からの支援を撤廃し、アルゴリズムトレーディング企業のXTX Marketsが主要資金提供者となる。また、Foundation for Science and AI Researchが計算リソースの提供、ワークショップ運営、オープンソースモデル活用チームへの賞金支給、渡航補助を担い共同主催として参画する。主催側は商用モデルの使用を禁止していないものの、コミュニティへの透明性貢献を優先し、オープンソースツールの採用を強く促している。 本プログラムは、数学研究評価において従来軽視されがちな理解の深化や解説の革新を正式な研究成果として格上げすることを目的とする。AI賛成論者から懐疑論者まで、学部生から専門研究者まで多様な立場の参加者と審査員を迎え入れる設計だ。主催者は、数学界が数十年ぶりの変革期にあると認識し、本イベントがAI活用と人間中心の学習・解説文化を両立させる実験的基盤となることを期待している。LLM使用の全開示と必要最小限のツール選択、そして人間の数学的洞察の統合が参加者に求められている。