数学家呼吁抵制 OpenAI，AI 生成证明大量涌入数学界

数学家团体 AHM 发表声明呼吁抵制 OpenAI，起因是 OpenAI 一次性发布 700 多个文件，声称其内部模型一个月内解决了 100 多个未解数学问题。声明称这不是学术展示而是权力展示，并提及 OpenAI 面临的多起版权诉讼。陶哲轩在博客转发该声明并提出 Math 2.0 时代，认为解题不应再是数学的主要目标；Scott Aaronson 则称这一局面为 Mathocalypse。