Caltech Mathathon：史上初の研究数学ハッカソン、未解決問題に挑む
Caltech Mathathon – first hackathon ever devoted to research level mathematics
Caltech（カリフォルニア工科大学）が主催する「Mathathon」は、研究レベルの数学に特化した初のハッカソンです。2026年10月30日から11月1日まで開催され、100チームが最先端のAIモデルを使って未解決の予想や新しい数学理論の構築に挑みます。最近のAIによる純粋数学の進展（エルデシュの平面単位距離予想の反証、非ソフィック群の構成など）を背景に、AIが数学研究をどのように加速できるか、数学者の役割はどう変わるかを探ります。結果は著名な数学者が審査し、最優秀チームには賞金と総額200万ドル以上のAIクレジットが贈られます。
AIは過去数ヶ月で純粋数学に画期的な進歩をもたらしました：2026年5月20日、80年間未解決だったエルデシュの平面単位距離予想が反証されました。
HNでの議論
95- xqcgrek2
自尊心のある数学者なら誰も、こうした企業が無視された無関係なパズルを解くためのマーケティングツールに自ら進んなることはないだろう。
- Semkas
これが面白いアイデアであることは否定しないが、40時間もLLMの出力を待つというのは、古典的なハッカソンの魅力や教育的価値を完全に損なうように思える。
より一般的に言えば、ハッカソンの形態（短時間で集中的に作業する）は、これまでのLLMによる数学の進歩の仕方とは全く合致しないと思う。私の知る限り、それは主にモデルに何かを選び出させ、その後、散発的な修正や励ましを加えながら1週間実行させるというものだ。
- youoy
これは大手研究所が数学を前進させようとしていると読むべきか？それとも、大手研究所がプロの数学者を（安価な？）労働力としてLLMの出力検証に使おうとしているのか？昨日のOpenAIの「Alien Mind」の投稿で、彼らは数学は優先事項ではないと公然と言っていたので、個人的にはどう考えるべきか分かっている…
- corinthia
最近のCaltech卒業生です！主催者の何人かをよく知っています。
CaltechのCS学科は非常に弱く、ここ数年トップ人材の獲得に苦労しており、最近のAI教員の採用にも問題がありました。これは非常にゆっくりと変わりつつありますが、この取り組みの動機の多くは、現在学校ではできないMLの「認知」を得てAIについて学ぶ方法を学生に作ることでした。HNがこれを取り上げてくれて本当に嬉しいです！
- chaoxu
チームで応募しました。採用されるといいな。
最近、モデルの推論能力を完全に使い切る数学のためのハーネスを作る方法に関心があります。能力とコストの両方に関心があります。
現在持っている一般的なハーネスは、推論を最大化するようには作られていません。codexのようなエージェントをテストしましたが、推論トークンのコストが20%を超えることはほとんどありません。数学は多くの推論を必要とするので、これはかなり奇妙です。だからハッカソンは良いテストベッドになるかもしれません。