数学家抵制OpenAI抗议AI证明涌入

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

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。