新智元 (微信公众号)T2·78 分
OpenAI 与 Anthropic 联手出资 1500 万美元请数学家验卷
原标题:1500万美元!OpenAI联手Anthropic,请数学家给AI「验卷」
- Simons 基金会联合 OpenAI、Anthropic 承诺 1500 万美元,OpenAI 与 Anthropic 各出 500 万美元并附加模型、算力与 Claude 使用权限
- 资金由 Simons 基金会管理,用于工作坊、会议等,核心目标是让数学家读懂并复用 AI 生成的长篇证明
- 触发点是 OpenAI 公开 722 篇 AI 数学手稿后次日撤回 3 篇,三篇共享同一处正负号错误