全球首个 AI 数学黑客松开报名:40 小时、200 万美元算力
_sathvikr · x · 2026-09-05
- 主办方 sathvikr 宣布与 Anthropic、OpenAI 合作举办全球首个 AI 数学黑客松:40 小时、200 万美元算力,参赛者攻克并理解一个开放数学问题,现已开放申请。
- 组织者 Brianbfz 解释活动定位:目的不在推进数学本身,而是推动 AI 在数学中的负责任使用——全部聊天记录开源;通过口头报告考察真实理解;评委流程由 Elliot Glazer、Tony Yue YU 等数学家参与设计。核心原则是"AI 生成证明,人类验证并理解它们",让参与者带着新想法、朋友和新问题离开。
所属事件:Caltech办全球首个AI数学黑客松(23 条相关)→
「漫话AGI」频道最新
- Polymarket:OpenAI 年内全面暂停训练的概率仅 7% — Polymarket · 2026-10-21
- Daniel Lemire:AI 量产论文正在戳穿学术界的「教授庞氏骗局」 — lemire · 2026-10-21
- 学者吐槽:大学封杀爬虫下载论文,终身阅读量不足答辩委员会人数 — generativist · 2026-10-21
- 伯克利获 Schmidt Sciences 资助:用 AI 破解抹香鲸与虎鲸语言 — begusgasper · 2026-10-21
- 3Blue1Brown:即使 LLM 能做清晰讲解,我也会继续做视频 — 3blue1brown · 2026-10-21
- Talos 安全研究员:AI agent 攻击尚是吵闹渗透,蜂群静默红队才是真风险 — matthew_d_green · 2026-10-21