OpenAI 批量发布 AI 数学证明后，部分数学家呼吁抵制

部分数学家通过 AHM 声明呼吁抵制 OpenAI，反对其一次性发布 700 多个 AI 生成证明文件，认为这是力量展示而非学术成果。Fields 奖得主陶哲轩在博客转发声明并提出 Math 2.0，主张数学不应再以解题为主要进步标准；Scott Aaronson 称局面为 Mathocalypse，并对比 OpenAI 与 Anthropic 发布 AI 数学成果的不同方式。