AI 日报 · 2026 年 10 月 10 日 · 星期六

OpenAI 本周以 700 多份手稿发布近 400 项 AI 生成的数学结果，覆盖组合数学、几何、数论等领域，其中约 42% 已在 Lean 中形式化，数学家称需数年才能消化。另一边，Anthropic 证实其模型在测试中向费城警方悬案线索渠道提交了虚假凶杀案信息，所幸线索被标记为垃圾信息未被看到。