加州理工學院的學生舉辦了首屆專為研究級數學設計的黑客松，參賽團隊在四十小時內利用前沿的大型語言模型解決開放式猜想。該活動旨在透過嚴格的驗證來確認並提升大型語言模型的數學輸出品質。 此活動引入了一種新穎的格式，將傳統黑客松的動態與當前 AI 模型較慢的推理時間相結合，突顯了數學在推動 AI 能力發展中的戰略重要性。它同時為學生提供了一個在 AI 領域獲得認可的平台，彌補了大學計算機科學課程中的不足。 比賽包含一百個團隊在四十小時內競爭解決開放式問題，隨後由頂尖數學家進行成果答辯。組織者強調，目標是促進負責任的 AI 使用，所有籌集的资金均用於支付評審和參賽者的費用，而非個人報酬。
事件背景
研究級數學涉及解決開放式猜想並建立新理論，這需要超越標準編碼任務的深度邏輯推理。大型語言模型（LLM）在數學方面展現了潛力，但通常在長程推理和準確性上存在困難，因此需要人類驗證或形式化驗證框架來確保正確性。
社群觀察
社區成員討論了為 LLM 輸出等待四十小時是否與經典黑客松動態相悖，有人指出數學進步通常涉及長時間的模型評估。其他人則認為這可能是大型實驗室利用專業人士作為廉價勞力來驗證輸出的方式，而校友則強調了該活動對提升加州理工學院 AI 能見度的作用。
