Caltech 办首个研究级数学 AI 马拉松:40 小时、200 万美元额度解公开猜想
_sathvikr · x · 2026-09-05
加州理工学院将于 10 月 30 日至 11 月 1 日举办 Mathathon，号称首个专注研究级数学的 hackathon：100 支队伍将获得前沿模型，在 40 小时内攻克公开猜想并构建新数学理论，随后向顶尖数学家答辩，获奖分两轮发放，奖池附带 200 万美元以上 AI 算力额度，赞助方含 Anthropic、OpenAI、DARPA expMath、Cognition、a16z、Y Combinator 等。
活动动机来自近期 AI 在纯数学上的突破：
- 5 月 20 日：Erdős 平面单位距离猜想（悬置 80 年）被证伪
- 8 月 1 日：构造出首个显式非 sofic 群（悬置 27 年）
- 8 月 23 日：六维球面被证明可具有复结构（悬置 78 年，未验证）
组织方提出两个问题：AI 能把「想法到同行评审发表」提速多少？当 AI 解猜想快于人类时，数学家的角色是什么？报名现已开放。
所属事件:Caltech 将办全球首个数学黑客松，200 万美元算力求解公开难题(21 条相关)→
「公司和人」频道最新
- Anthropic 早期快闪店全场免费送，网友感慨当时入职股权已翻 10 倍 — signulll · 2026-09-05
- Product Hunt 疑似不再要求产品必须由个人创始人发布 — ThePeterMick · 2026-09-05
- VentureBeat 编辑总监离任，三年写了 700+ 篇 AI 报道 — MichaelFNunez · 2026-09-05
- 用户在 Claude 里威胁 Anthropic CEO，公司直接报警 — kyliebytes · 2026-09-05
- Google 研究者谈模型可监控性:投入多少、是否停发难监控模型 — sandersted · 2026-09-05
- 硅谷创业者自嘲:"往火坑里铲风投的钱,换成 token" — Scobleizer · 2026-09-05