Caltech 将办首个研究级数学 AI 黑客松:40 小时攻开放猜想
_sathvikr · x · 2026-09-05
加州理工学院宣布将于 2026 年 10 月 30 日至 11 月 1 日举办 Caltech Mathathon——首个专注于研究级数学的 AI 黑客松,100 支队伍将获得前沿模型与 200 万美元以上的 AI 额度,在 40 小时内挑战开放数学猜想并构建新理论,之后需在顶级数学家面前答辩,结果经数学社区验证后发放第二轮奖金。
活动背景列出了近期 AI 在纯数学上的突破:5 月 Erdős 平面单位距离猜想被推翻(悬置 80 年)、8 月首个显式非 sofic 群被构造(27 年)、六球被证明可容复结构(78 年,未验证)。活动由 Anthropic、OpenAI、DARPA expMath、Cognition、a16z、Y Combinator 等数十家机构赞助,现开放报名。
所属事件: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