Caltech Mathathon 2026: 研究レベルの数学に特化した初のハッカソン

速報

Caltech Mathathon（2026年10月30日〜11月1日）は、最大100チームがフロントエンド言語モデルを使ってオープンな研究レベルの数学問題に挑戦し、40時間のAIクレジットスプリント（200万ドル以上相当）を実施。その後、専門の数学者の前で結果を主張・説明する。

Mathathonとは何か

形式: カリフォルニア工科大学（Caltech）で開催される3日間のハッカソン。チームは大規模AIモデルへのアクセスと、AIコンピューティングクレジット（200万ドル以上相当）の予算を獲得し、予想を探索する。
目的: オープンな問題に対して、明確に説明され、検証可能な解決策を生み出し、主要な数学者のパネルによる評価を受ける。
賞品: 最も有望で明確に説明された結果に対して賞が授与され、コミュニティによる検証後に第2ラウンドの賞が発表される。
参加資格: 大学や独立チームであれば誰でも参加可能。主催者はCaltechの学部生（公式には大学やスポンサーを代表しない）。
責任あるAI: 主催者は、倫理的なAI利用と透明性のある報告への取り組みを説明するFAQを公開している。

なぜ重要なのか

最近のAIの進展——Erdősの平面単位距離予想の反証、最初の明示的な非ソフィック群の構成、および（検証されていないが）6次元球面上の複雑な構造の提示——は、大規模言語モデルが深い純粋数学研究に貢献できることを示している。Mathathonは、AIが予想をアイデアから査読済みの結果までどれほど迅速に移行できるかを検証し、AIが従来のワークフローを上回って証明を生成できる場合に、人間の数学者の役割がどのように進化するかを探る。

Hacker Newsでのコミュニティの反応

主催者が立場を明確化

"私たちはCaltechの学部生のチームです。CaltechやCaltechの部署、スポンサーを代表するものではありません。報酬は一切受け取りません。集められた資金はすべて審査員と参加者への支払いに使われます。私たちの目標は、責任あるAI利用の促進です。" – brian-bfz（主催者）

ハッカソンのタイミングに対する懐疑

"40時間のLLMの出力を待つのは、伝統的なハッカソンの魅力と正反対です。LLMによる数学の進展は、短いスプリントではなく、数週間のモデル実行と間欠的な修正を伴うことが多いです。" – Semkas

労働と動機に関する懸念

"これは大規模研究室が数学を前進させるための取り組みなのか、それともLLMの出力を検証するために専門の数学者を安価な労働力として使うための手段なのか？" – youoy

組織的文脈

"CaltechのCS部門はトップ人材の採用に苦戦している。このハッカソンは、学校が現在持っていない機会を通じて、学生がMLの認識を得る手段を提供する。" – corinthia（最近Caltech卒業生）

モデル活用に関する技術的視点

"現在の汎用的なハーネスは推論トークンを無駄にしている。数学には深い推論が必要なので、集中型のハッカソンはより効率的なモデル利用のテストベッドとなる可能性がある。" – chaoxu

歴史的反論

"これは初めての数学に特化したハッカソンではない。20年前にWilliam SteinがBSD予想に関するSageMathハッカソンを主催していた。" – boothby

参加者による実用的リソースの共有

"計算幾何学におけるオープンな問題（Erik Demaineら、2024年）や、未解決問題の広範なリストは、チームにとって有用な出発点となる。" – nill0

期待される成果

AI支援証明生成のベンチマーク – 40時間以内に解決された予想の数を測定することで、AIが従来の研究サイクルに比べてどれほど速いかという具体的なデータを提供する。
人間-AI協働モデル – チームは結果を生成するだけでなく、明確に説明する必要がある。これにより、数学者が洞察、検証、説明の面でどのように価値を提供できるかが明らかになる。
コミュニティによる検証プロセス – 2段階の賞の構造により、イベント後の厳格なピアレビューが促進され、数学コミュニティ全体がAI生成証明の信頼性を評価する手助けとなる。
ツールの改善 – チームからのトークン効率、プロンプト戦略、モデルハーネスに関するフィードバックは、次世代の数学向けAIプラットフォームの開発に役立つ。

参加方法

応募: チームは公式サイト（応募リンク）から応募できる。
準備: 提供されたオープンな問題リスト（例：計算幾何学の課題）を確認し、最大限の推論深度を得るためのプロンプト構造を検討する。
参加: ハードウェア支援、モデルアクセス、責任あるAIガイドラインに関する最新情報を、イベントのFAQページで確認する。

結論

Caltech Mathathonは、競争的なハッカソンと先端的な数学研究の交差点における大胆な実験である。大規模なAIコンピューティングリソースを短時間の集中スプリントに割り当てることで、大規模言語モデルが発見プロセスを加速させ、AI補完された未来における数学者の役割を再定義できるかどうかを検証する。