全球首个 AI 数学黑客松开报名：40 小时、200 万美元算力
_sathvikr · x · 2026-09-05
- 主办方 sathvikr 宣布与 Anthropic、OpenAI 合作举办全球首个 AI 数学黑客松：40 小时、200 万美元算力，参赛者攻克并理解一个开放数学问题，现已开放申请。
- 组织者 Brianbfz 解释活动定位：目的不在推进数学本身，而是推动 AI 在数学中的负责任使用——全部聊天记录开源；通过口头报告考察真实理解；评委流程由 Elliot Glazer、Tony Yue YU 等数学家参与设计。核心原则是"AI 生成证明，人类验证并理解它们"，让参与者带着新想法、朋友和新问题离开。
所属事件:Caltech 将办全球首个数学黑客松，200 万美元算力求解公开难题(21 条相关)→
「漫话AGI」频道最新
- Paradigm 3 周报：中国或愿加入中美 AI 安全谈判，GPT-6 首现 Critical 网络风险级 — gleech · 2026-09-05
- AI 圈内人也未真正接受：AI 群体将远强于人类并有自身目标 — JeffLadish · 2026-09-05
- 分析称 AI 创造的岗位或已超过它取代的数量 — kevinsurace · 2026-09-05
- 60 岁玩家自述：从 ChatGPT 玩家到被 AI 折服的转变 — rnk6670 · 2026-09-05
- Gary Marcus 转发 21 位学者论文：LLM 是通向 AGI 的死路 — GaryMarcus · 2026-09-05
- 观点：让模型连续 grind 数天，才是能力使用的前沿 — mike64_t · 2026-09-05