Caltech 办全球首个数学黑客松:40 小时、200 万美元算力解公开猜想
_sathvikr · x · 2026-09-05
Caltech 将于 2026 年 10 月 30 日至 11 月 1 日举办号称全球首个研究级数学黑客松 Mathathon,由 Anthropic、OpenAI 联合主办,另有 DARPA expMath、Cognition、a16z、Y Combinator 等数十家机构支持。
- 形式:100 支队伍在 40 小时内使用前沿模型解决公开数学猜想或构建新理论,随后向顶尖数学家答辩,评奖分现场奖与社区验证后的第二轮奖。
- 背景:组织方列举 AI 在纯数学上的近期突破,如推翻悬置 80 年的 Erdős 平面单位距离猜想(2026 年 5 月)、构造首个显式非 sofic 群(悬置 27 年)、证明六维球面容许复结构(悬置 78 年,未验证)。
- 议题:AI 能把「从想法到同行评审」提速多少?当 AI 解题快过数学家时,数学家的角色是什么?
报名已开放,申请链接见原文。
所属事件:Caltech 联手 Anthropic 与 OpenAI 办全球首个研究级数学黑客松(20 条相关)→
「公司和人」频道最新
- Anthropic 发布 Claude Fable 5.1,缓存读取降价 75% 至 $0.25/M tokens — dl_weekly · 2026-09-05
- Anthropic 与 OpenAI 合办首届数学黑客松:40 小时、200 万美元算力 — kimberlywtan · 2026-09-05
- 访 300 位企业高管:多数公司只是在用 AI 加速垃圾流程 — vasuman · 2026-09-05
- 英国 AISI 控制红队招聘研究员,攻关 AI 监视器评测难题 — joshua_saxe · 2026-09-05
- Showrunner 母公司称将收购 IP 版权库,每次 AI 混编都向创作者付酬 — flngr · 2026-09-05
- Scale CEO Alexandr Wang 回应对齐质疑:已在更强模型上做对齐工作 — alexandr_wang · 2026-09-05