Anthropic 办三天数学 AI 黑客松：全程录屏、开源对谈记录
_sathvikr · x · 2026-09-05
一场主打「负责任地在数学中使用 AI」的三天黑客松公布规则：
- 公平：凭数学能力录取，覆盖差旅费用，欢迎各背景参与者
- 透明：活动期间所有 AI 对话日志将录制并开源
- 理解：参赛者须口头展示成果并回答评委提问
- 可验证：结果、演示与聊天记录将发布到 MathDB（收录 8 万+数学开放问题的数据库）供数学界审核
周五由 Anthropic 主办 AI agents 工作坊，向数学家传授最新技巧；周六日比赛，周日晚向专家评审团汇报，分两波发放奖金。MathDB 上近期已有多个开放问题的进展与新论文被提交，如 Catalan 常数无理性证明的预印本等。
所属事件: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