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办全球首个AI数学黑客松(23 条相关)→
「公司和人」频道最新
- 面向小店主的金融科技公司 Affiniti 转型 AI 原生操作系统 — jfiance · 2026-10-21
- CodeRabbit 团队周发 5000 个 PR：机器造机器，招人先看策略游戏时长 — omojumiller · 2026-10-21
- AI 安全研究者 Sören Mindermann 赴清华任教,共创北京 AI 安全中心 — dhadfieldmenell · 2026-10-21
- Runway 入驻 Claude Marketplace,企业可划拨 Anthropic 预算买视频生成 — runwayml · 2026-10-21
- Pichai:所有人算力都严重短缺,谁都希望计划量翻倍 — firstadopter · 2026-10-21
- GitHub HQ 开放闭源之辩:三场辩论开源方全胜,Percy Liang 谈企业专有知识瓶颈 — stanfordnlp · 2026-10-21