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

The Verge采访了30余位数学家，分析OpenAI在本周一次性释出约400项AI生成数学结果的影响。这些结果分散在719份手稿中，涵盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率统计力学和数学物理等多个方向，发布在GitHub仓库中并附Lean形式化验证。