Anthropic/OpenAI 办全球首个数学黑客松:百队争 200 万美元算力
_sathvikr · x · 2026-09-05
- 与 Anthropic、OpenAI 合作举办全球首个数学黑客松，为期 3 天：周五 Anthropic 主持 AI 智能体工作坊，为数学家介绍最新技术；周六日参赛者黑客马拉松式解题；周日晚向专家评审团做口头报告。
- 从全球招募 100 支顶尖队伍，成员包括 10 枚 IMO/IOI 奖牌、15 篇以上 Annals 论文、5 本教科书作者及解决过著名公开问题的数学家，共发放 200 万美元的 Fable 与 Astra API 额度供其推进自选问题。
- 奖金分两波：先奖励评审认为最有前景的团队；另一波在 2027 年初、数学家有时间对结果做形式化验证后发放。
所属事件:Anthropic/OpenAI 联办全球首个数学黑客松(10 条相关)→
「漫话AGI」频道最新
- 强化学习元老质疑 Claude 费马定理形式化证明:如何确认它是对的? — CsabaSzepesvari · 2026-09-05
- AI 女友将至:工作关系之外,亲密关系也难幸免 — danfaggella · 2026-09-05
- 功能主义要求基底独立,与结构主义的子集关系之争 — jessi_cata · 2026-09-05
- Habryka 主张送危险 AI 开发者上联邦法庭,同行辩护其非煽动 — jachiam0 · 2026-09-05
- davidad 提出星际「守夜人」治理框架制衡星际扩张 — davidad · 2026-09-05
- 李开复对话彭博：AI走向、组织变革与就业三大十年之问 — kaifulee · 2026-09-05