Anthropic 办 3 天 AI 数学黑客松：全程录像开源对话日志
_sathvikr · x · 2026-09-05
一场为期 3 天、以「负责任地在数学中使用 AI」为主题的数学黑客松公布规则与安排：
- 流程：周五由 Anthropic 主持 AI agent 工作坊，教数学家最新技巧；周六日参赛者 hack；周日晚向专家评委做口头报告并答辩。
- 透明与可验证：所有 AI 对话日志将被记录并开源，结果、演示文稿与日志会发布到 MathDB 供数学社区审阅。
- 公平性：按数学能力录取、报销差旅；评审分两波发奖，奖励最有前景的团队。
- MathDB 本身是一个收录 8.7 万+ 数学开放问题的数据库，持续追踪各猜想的最新预印本进展。
所属事件: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