Anthropic 办三天数学 AI 黑客松：全程录屏、开源对谈记录
_sathvikr · x · 2026-09-05
一场主打「负责任地在数学中使用 AI」的三天黑客松公布规则：
- 公平：凭数学能力录取，覆盖差旅费用，欢迎各背景参与者
- 透明：活动期间所有 AI 对话日志将录制并开源
- 理解：参赛者须口头展示成果并回答评委提问
- 可验证：结果、演示与聊天记录将发布到 MathDB（收录 8 万+数学开放问题的数据库）供数学界审核
周五由 Anthropic 主办 AI agents 工作坊，向数学家传授最新技巧；周六日比赛，周日晚向专家评审团汇报，分两波发放奖金。MathDB 上近期已有多个开放问题的进展与新论文被提交，如 Catalan 常数无理性证明的预印本等。
所属事件:Caltech 将办全球首个数学黑客松，200 万美元算力求解公开难题(21 条相关)→
「公司和人」频道最新
- fal 主办 GenMedia 大会 2026 将落地旧金山，公布嘉宾阵容 — adamho · 2026-09-05
- Anthropic 早期快闪店全场免费送，网友感慨当时入职股权已翻 10 倍 — signulll · 2026-09-05
- Product Hunt 疑似不再要求产品必须由个人创始人发布 — ThePeterMick · 2026-09-05
- VentureBeat 编辑总监离任，三年写了 700+ 篇 AI 报道 — MichaelFNunez · 2026-09-05
- 用户在 Claude 里威胁 Anthropic CEO，公司直接报警 — kyliebytes · 2026-09-05
- Google 研究者谈模型可监控性:投入多少、是否停发难监控模型 — sandersted · 2026-09-05