The Verge 访谈三十余位数学家：OpenAI 数学发布引发的震动与争议

The Verge 采访三十余位数学家，记录他们对 OpenAI 本周释出近 400 项 AI 生成数学结果的反应。成果分布于 700 余份手稿，覆盖组合数学、几何、数论、理论计算机科学、拓扑、概率等领域，但仅约 42%（719 份中 300 项）完成 Lean 形式化验证，且截至 10 月 8 日已撤回 3 篇因符号错误导致论证失效的论文。