HeadlinesBriefing favicon HeadlinesBriefing.com

Caltech Mathathon: AI駆動の初の数学研究ハッカソン

Hacker News •
×

2026年10月30日から31日に開催されるCaltech Mathathonは、研究レベルの数学に特化した初のハッカソンとなる。100チームが、最先端AIモデルを用いて未解決の猜想に取り組み、新しい数学理論を構築し、その結果を著名な数学者の前で擁護する。AIは近年、純粋数学において画期的な進歩を遂げており、Erdosの平面単位距離予想(80年間未解決)の反証、最初の明示的な非ソフィック群の構成(27年間未解決)、六次元球面が複素構造を許容することの証明(78年間未解決)が含まれる。これらの進歩は、AIがどのように数学的発見を加速できるか、そして人間の数学者にどのような役割が残るかという問いを提起する。参加者は、40時間以内に未解決問題に取り組むための200万ドル以上のAIクレジットを受け取ることになる。最も有望な結果に対して賞が授与され、コミュニティ検証後に第二ラウンドが行われる。このイベントは、数学研究と協力におけるAIの影響に関する根本的な問題に取り組む。