Caltech 联手 Anthropic 与 OpenAI 办首届数学黑客松,40小时200万美元算力
_sathvikr · x · 2026-09-05
Caltech 宣布举办全球首个研究级数学黑客松(Mathathon),时间为 2026 年 10 月 30 日至 11 月 1 日,地点在加州理工学院。
- 赛制:约 100 支队伍获得前沿模型的使用权限,在 40 小时内求解公开数学猜想或构建新数学理论,并向顶尖数学家展示、答辩其结果的理解程度。
- 奖励:现场评出最有前景且解释清晰的成果发奖,数学社区验证后再发第二轮奖金;总计算力额度超过 200 万美元。
- 背景:主办方列举近期 AI 在纯数学上的突破,包括推翻悬置 80 年的 Erdős 平面单位距离猜想、首次显式构造非 sofic 群、证明六维球面容许复结构(未验证)等。
- 发起方与 Anthropic、OpenAI 合作,获 DARPA expMath、Cognition、a16z、Y Combinator、Cloudflare、Modal 等数十家机构支持。
活动试图回答两个问题: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