カルテック Mathathon – 研究レベルの数学に特化した初のハッカソン
要約
AIの進歩が純粋数学に革命をもたらす中、カルテックは研究レベルの数学に特化した初のハッカソン「Mathathon」を開催します。このイベントでは、100チームが最先端のAIモデルを用いて未解決の数学的命題に取り組み、新しい数学理論の構築を目指します。AIが数学者の役割をどう変えるか、研究プロセスをどれだけ加速できるかといった問いに答えることを目的としています。
全文翻訳
Mathathon: 古い問題、新しい証明
Mathathonは、「AIをどのようにして数学的理解を増強するために利用できるか？」という一つの問いを中心に据えています。
四色定理、ABC予想、あるいはナビエ・ストークス方程式などを考えてみてください。多くの数学者は、これらの証明（あるいは証明の主張）を理解するのが難しい、あるいは満足のいくものではないと感じています。私たちは参加者に、直感的でない解法を持つ問題を選び、代替の証明または解説を開発し、それを仲間に発表するよう招待します。このイベントは2つのラウンドで構成されます：
- ラウンド1: オンサイト、40時間。チームは予備的な進捗を行い、審査員や他の参加者の前でライブで発表します。
- ラウンド2: リモート、2ヶ月。チームはオンライン解説とGitHubリポジトリを作成します。解説は、ドラフト論文、ビデオ、インタラクティブゲームなど、どのような形式でも構いません。リポジトリには、解説の作成に使用されたもの（LLMのチャット履歴、可視化の生成に使用されたコードなど）がすべて保存されます。
オープンな問題の解決から焦点を移すことで、Mathathonの参加者が数学を理解するために行う他のすべて（一般化、新しい表記法やテクニック、他の問題との関連性）を探求することを奨励したいと考えています。これらの革新は、個々の問題を解決することよりもエキサイティングなものになり得ます。
私たちは、11月13日から15日までカルテックでラウンド1を開催します。参加者の応募は、カルテック関係者向けに引き続き受け付けています。今すぐ応募。
FAQ
Mathathonは誰が運営していますか？
Mathathonはカルテックの登録学生団体です。その決定は、現在カルテックに在籍している学部生および大学院生で構成される運営委員会によって行われます。委員会はMathathonまたはそのスポンサーから金銭的な報酬を受け取りません。
主催者: Alvan Arulandu, Andrea Li, Andrew Wu, Avni Garg, Brian Zhao, Caiman Moreno-Earle, Mayla Ward, Merrick Hua, Milo Moses, Sathvik Rodrothu, Vihaan Dheer。
学部顧問: Sergei Gukov, Terence Tao, Tony Yue Yu。
Foundation of Science and AI Research (SAIR) がMathathonに代わって助成金および旅費の払い戻しを管理します。
誰が応募できますか？
18歳以上のカルテック関係者からの参加者応募を受け付けています。応募者は、数学研究またはコンペティションの経験がある必要があります。数学または隣接分野で博士号を取得した方も、審査員として応募できます。
ラウンド1のみに参加できますか？
はい。しかし、多くの楽しみを逃すことになります :(
旅費はカバーされますか？
すべての参加者および審査員の航空券代を負担します。参加者は会場に宿泊し、イベント期間中チームと作業することができます。宿泊施設の確保は各自で行う必要があります。審査員にはホテル宿泊も提供します。
AIに対するあなたのスタンスは？
私たちはAIを、数学者が利用できる多くのツールの1つとして扱います。プロプライエタリなモデルも許可しますが、オープンソースツールの使用を奨励します。私たちはFoundation for Science and AI Research (SAIR)と提携し、コンピューティングリソースの提供、ワークショップの開催、オープンソースモデルを使用したチームへの賞の提供を行います。私たちの目標は、Mathathonおよび自身の研究で使用するツールについて、各参加者が自身の決定を下せるようにすることです。