科学・技術
カルテック Mathathon – 研究レベルの数学に特化した初のハッカソン
要約
AIの進歩が純粋数学に革命をもたらす中、カルテックは研究レベルの数学に特化した初のハッカソン「Mathathon」を開催します。このイベントでは、100チームが最先端のAIモデルを用いて未解決の数学的命題に取り組み、新しい数学理論の構築を目指します。AIが数学者の役割をどう変えるか、研究プロセスをどれだけ加速できるかといった問いに答えることを目的としています。
全文翻訳
40時間、200万ドル以上のAIクレジット、未解決問題の解決。AIは過去数ヶ月で純粋数学において画期的な進歩を遂げました。2026年5月20日：エルデシュの平面単位距離予想が反証されました（80年間未解決）[1]。2026年8月1日：最初の明示的な非ソフィック群が構築されました（27年間未解決）[2]。2026年8月23日：6次元球面が複素構造を持つことが示されました（78年間未解決、未検証）[3]。このAIの進歩は以下の疑問を提起します。(a) AIは構想から査読付き出版までのプロセスをどれだけ加速できるか？(b) AIが命題をより速く解決できる場合、数学者の役割は何か？私たちはこれらの疑問に答えるため、世界中のトップ数学の才能を集めています。10月30日、100チームがフロンティアモデルを与えられ、未解決の命題を解決し、新しい数学理論を構築します。その後、彼らは結果を著名な数学者の前で弁護し、数学者はその理解度を評価します。イベントでは最も有望で説明の行き届いた結果に賞を授与します。その後、数学コミュニティがこれらの結果を検証する時間を得た後、第2ラウンドの賞を提供します。これは研究レベルの数学に特化した初のハッカソンとなります。場所：カリフォルニア工科大学日時：10月30日から11月1日まで今すぐ応募してください連絡先：mathathon@caltech.eduAnthropic OpenAI DARPA expMath Cognition Conway Cloudflare HUD Oratomic Midas Modal Mercor dmodel Prime Intellect a16z Conjectures.io SF Compute Architect Labs Emergence Capital Y Combinator 8VC Baseten Factory Extropic Formation VC Normal Extraordinary 1517 Fund Indent Diode Pareto Terac Droneforge 提供