首届数学黑客松:百支顶尖队伍、40 小时冲击公开难题
_sathvikr · x · 2026-09-05
- 黑客松为期 3 天:周五由 Anthropic 主持 AI agents 工作坊,帮助数学家掌握最新技巧;周六周日为正式比赛;周日晚向专家评审团做口头展示。
- 初期奖金颁给标记出最有前景团队的评委;第二波奖金将于 2027 年初发放,前提是数学家们有机会对结果进行形式化验证。
- 配套信息(来自原帖):与 Anthropic、OpenAI 合作举办,全球招募 100 支顶尖队伍,选手池含 10 枚 IMO/IOI 奖牌、15+ 篇 Annals 论文、5 本教材作者及解决过著名公开问题的数学家,共提供 200 万美元 API 额度(Fable 与 Astra 各 100 万)。
所属事件: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