热点事件历史事件
数学家呼吁抵制 OpenAI 生成证明
1 篇报道1 个报道来源11 天前更新
先了解这件事
AI 综述
2026年10月9日，The Decoder 报道，数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明，并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代；复杂性理论学者 Scott Aaronson 称这一局面为 Mathocalypse。目前事件仍处于数学界人士公开表达抵制与讨论的阶段。
AI 根据报道生成 · 11 天前更新
最新进展10月9日 02:17
数学界部分人士因 OpenAI 放出 700 多份 AI 生成数学证明而呼吁抵制。报道时间线
沿着报道，了解事件的不同侧面。
10月9日
- The Decoder精选数学家呼吁抵制 OpenAI：AI 生成证明涌入数学领域
数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明，并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代；复杂性理论学者 Scott Aaronson 称这一局面为 Mathocalypse。