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办全球首个AI数学黑客松(23 条相关)→
「公司和人」频道最新
- 减肥药年入 710 亿美元,仍是 OpenAI 与 Anthropic 营收总和四倍 — HealthcareAIGuy · 2026-10-21
- openRxiv 发布 AI 使用方针,回应研究者投稿中的 AI 采纳潮 — anshulkundaje · 2026-10-21
- 网传 OpenAI 疑似收购域名 dots.com — gaganghotra_ · 2026-10-21
- KHIPU 学术社区强调本地研究者主导的多语言与低资源 NLP 是立会之本 — OmarUFlorez · 2026-10-21
- 创业者别向 VC 借信念：年轻 builder 在等别人给自己的野心许可 — jaivinwylde · 2026-10-21
- 高通全球裁员转战 AI 数据中心：目标 2027 年 50 亿美元营收 — rohanpaul_ai · 2026-10-21