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

数学界部分人士呼吁抵制 OpenAI，起因是 OpenAI 一次性放出 700 多个文件，声称内部模型一个月内解决了 100 多个未解数学问题。菲尔兹奖得主 Terence Tao 在博客转发相关声明并提出 Math 2.0 时代，认为解题不应再是该学科的主要衡量标准；Scott Aaronson 则称这一局面为 Mathocalypse。