跳到正文
热点事件持续更新

数学家抵制OpenAI与AI数学证明争议

1 篇报道1 个报道来源3 小时前更新

先了解这件事

AI 综述

2026年10月9日,The Decoder报道,部分数学家呼吁抵制OpenAI,起因是该公司一次性放出700多份AI生成的数学证明文件。一个数学家顾问团体称这是展示力量而非学术成果。陶哲轩在博客转发该声明并提出Math 2.0,认为解题不应再是学科的主要衡量标准;Scott Aaronson则对比了OpenAI批量放出草稿与Anthropic与研究者合作并支付报酬的两种路径。

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

报道时间线

沿着报道,了解事件的不同侧面。

10月9日
  1. The Decoder精选
    数学家呼吁抵制 OpenAI,AI 生成证明涌入数学领域

    部分数学家呼吁抵制 OpenAI,起因是该公司一次性放出 700 多份 AI 生成的数学证明文件,一个数学家顾问团体称这是展示力量而非学术成果。陶哲轩在博客转发该声明并提出 Math 2.0,认为解题不应再是学科的主要衡量标准;Scott Aaronson 则对比了 OpenAI 批量放出草稿与 Anthropic 与研究者合作并支付报酬的两种路径。

本事件热度走势

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