Caltech 数学黑客松：AI 挑战未解猜想
Caltech Mathathon – first hackathon ever devoted to research level mathematics
AI 在纯数学领域近期取得突破性进展，从推翻 Erdos 猜想至构造非 sofic 群，引发学界对 AI 加速科研及数学家角色的深思。Caltech 将于 10 月 30 日举办史上首个面向研究级数学的 Mathathon，集结全球顶尖人才，提供 40 小时及超 200 万美元 AI 算力，挑战未解猜想并构建新理论。百支团队将利用前沿模型解题，并向顶尖数学家展示成果，优胜者将获得奖励。这不仅是一场竞赛，更是对 AI 时代数学研究范式的探索。
这将是史上首个专门致力于研究级数学的黑客松。
HN 评论区
95- Semkas
不否认这是个有趣的点子，但我觉得等一个 LLM 跑 40 个小时，感觉完全违背了传统黑客松吸引人/有教育意义的核心。
更广泛地说，我不认为黑客松的形式（在极短时间内高强度工作）与目前 LLM 数学进展的方式有任何契合之处；据我所知，这主要涉及为模型挑选一个任务，然后让它跑上一周，期间偶尔进行修正或鼓励。
- youoy
我应该怎么理解这件事：是大厂们试图推动数学发展？还是大厂们试图把专业数学家当作（廉价的？）劳动力来验证 LLM 的输出？在昨天 OpenAI 发布的“外星思维”（An Alien Mind）文章中，他们公开表示数学并非他们的优先事项，所以我自己心里清楚该怎么想了……
- corinthia
我是 Caltech 的近期毕业生！很熟悉一些组织者。
Caltech 的 CS 系非常、非常弱，过去几年一直在招聘顶尖人才方面挣扎，最近几任 AI 教职的聘请也出了些问题。这种情况正在缓慢改变，但举办这次黑客松的很大动机之一，就是为学生创造一种获得 ML“认可”并学习 AI 的途径，因为目前校内无法做到这一点。很高兴看到 HN 关注到了这件事！
- chaoxu
我已经以团队形式申请了，希望能入选。
最近我关注的是如何构建一个能充分利用模型完整推理能力的数学测试框架（harness）。我既关心能力也关心成本。
我们目前拥有的大多数通用框架都不是为了最大化推理能力而设计的。我测试过像 Codex 这样的智能体，推理 token 的成本很少超过 20%。这很奇怪，因为数学需要大量的推理。所以黑客松可以成为一个很好的测试平台。
- viccis
不完全是，数学领域有很多这样的项目：你参加进去，组队，共同解决一个很可能出成果的问题，然后将所有小组的成果发表在会议论文集上。它们被称为“研究合作研讨会”（Research Collaboration Workshops）。
这些科技公司在数学新闻稿中呈现出一种非常一致的模式，显示出他们对研究数学界明显缺乏经验。