Caltech Mathathon 2026：首場專注於研究級數學的黑客松

快速概覽

The Caltech Mathathon（2026 年 10 月 30 日至 11 月 1 日）將進行一場為期 40 小時、價值超過 200 萬美元的 AI 算力衝刺賽，多達 100 支團隊將嘗試使用前沿語言模型來解決開放式研究級數學問題，隨後向專家數學家進行辯護。

Mathathon 是什麼

形式：一場在加州理工學院（California Institute of Technology）舉辦的三日黑客松。團隊將獲得大規模 AI 模型的使用權限以及價值超過 200 萬美元的 AI 算力額度，用以探索猜想。
目標：針對開放式問題提出解釋詳盡、可驗證的解決方案，隨後向頂尖數學家組成的評審團進行展示與評估。
獎項：將頒發給最具潛力且溝通清晰的結果，並在社群驗證後進行第二輪獎項發放。
資格：對任何大學或獨立團隊開放；主辦方為 Caltech 的大學部學生（並非正式代表該學院或其贊助商）。
負責任的 AI：主辦方發布了一份 FAQ，概述了對倫理 AI 使用和透明報告的承諾。

為何這很重要

近期 AI 的突破——例如證實 Erdős 的平面單位距離猜想為假、建構出第一個明確的非索菲克群（non-sofic group），以及（尚未驗證）展示六維球面上的複雜結構——證明了大型語言模型可以為深層純數學研究做出貢獻。Mathathon 將測試 AI 能多快將一個猜想從想法轉化為同行評審的結果，並探討當 AI 能比傳統流程更快生成證明時，人類數學家角色演變的趨勢。

Hacker News 社群反應

主辦方澄清其立場

"We are a team of undergrads at Caltech. We don't represent Caltech, any Caltech departments, or any of our sponsors. We don't receive monetary compensation. All the funding raised goes toward paying our judges and participants. Our goal is to promote responsible AI use." – brian-bfz (organizer)

對黑客松時程的質疑

"Waiting on the output of an LLM for 40 hours feels antithetical to what makes classic hackathons appealing. LLM math progress usually involves weeks of model runs with intermittent correction, not a short sprint." – Semkas

對勞動力與動機的擔憂

"Is this big-lab push to move maths forward, or a way to use professional mathematicians as cheap labour for validating LLM outputs?" – youoy

機構背景

"Caltech’s CS department has struggled to recruit top talent; this hackathon offers a way for students to gain ML recognition that the school currently lacks." – corinthia (recent Caltech graduate)

對模型利用方式的技術觀點

"Current generic harnesses waste reasoning tokens; math requires deep reasoning, so a focused hackathon could serve as a testbed for more efficient model usage." – chaoxu

歷史對照

"This isn’t the first math-focused hackathon; William Stein ran SageMath hackathons on the BSD conjecture two decades ago." – boothby

參賽者分享的實用資源

"Open problems in computational geometry (Erik Demaine et al., 2024) and broader lists of unsolved problems are useful starting points for teams." – nill0

預期成果

AI 輔助證明生成之基準測試 – 透過衡量在 40 小時內解決了多少個猜想，Mathathon 將為 AI 相對於傳統研究週期之速度優勢提供具體數據。
人機協作模型 – 團隊不僅要生成結果，還必須清晰地解釋它們，這將揭示數學家如何透過洞察力、驗證與闡述來增加價值。
社群驗證流程：兩階段獎項結構鼓勵了賽後進行嚴謹的同行評審，有助於廣大的數學社群對 AI 生成的證明是否可靠進行評估。
工具改良：參賽者對於 Token 效率、提示詞策略（prompting strategies）以及模型利用工具（model harnesses）的反饋，將為下一代專注於數學的 AI 平台提供參考。

如何參與

申請：團隊可以透過官方網站提交申請（apply link）。
準備：查閱提供的開放式問題列表（例如：計算幾何挑戰），並思考如何建構提示詞以獲得最大的推理深度。
參與：關注主辦方在活動 FAQ 頁面上的更新，以獲取硬體支援、模型存取權限以及負責任 AI 使用指南的最新資訊。

結論

Caltech Mathathon 代表了競爭性黑客松與前沿數學研究交匯處的一次大膽實驗。透過將龐大的 AI 算力資源分配給一場短暫且高強度的衝刺賽，它將測試大型語言模型是否能加速發現流程，並定義在 AI 增強的未來中數學家的角色。