Caltech 办了一场 40 小时数学黑客松，让 100 支队伍用顶级 AI 模型去啃未解猜想

Caltech Mathathon – first hackathon ever devoted to research level mathematics

加州理工要在 10 月 30 号搞一个纯数学黑客松，100 支队伍用 Anthropic 和 OpenAI 的模型，在 40 小时内挑战还没被证明的数学猜想，然后当着数学家的面答辩。主办方提供了超过 200 万美元的 AI 算力额度，赞助名单从 DARPA 到 Y Combinator 拉了一长串。比赛分两轮发奖：第一轮看现场谁的结果最有戏、讲得最清楚...

推荐理由：形式够新——第一个专攻研究级数学的黑客松，不是做题比赛而是直接冲开放猜想。文章用三个近期 AI 数学突破做背书，让活动不至于飘在空中。赞助方横跨军方研究机构和顶级孵化器，说明不同圈子都在盯着这件事。分数没给更高是因为这本质上还是一篇活动预告，正文没披露评审细则、模型使用规则，也没说猜想池是怎么挑出来的，这些信息缺口让我先打个折。