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

数学家组织AHM发表声明，呼吁抵制OpenAI，起因是OpenAI一次性放出700多份AI生成的数学证明文件，称这并非学术展示而是实力展示。菲尔兹奖得主Terence Tao在博客转发该声明，并提出数学应进入不再以解题为主要衡量标准的Math 2.0时代；Scott Aaronson则称之为Mathocalypse。