跳到正文
原文
行业The Decoder转述· Manuel Uth·· 8 天前精选

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

Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field

谁
openai
做了什么
发布大量AI生成数学证明引发数学家抵制呼吁数学界

发生了什么

数学界部分研究者呼吁抵制 OpenAI,起因是 OpenAI 一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在博客转发 AHM 声明,称此举不是学术展示而是力量展示,并认为问题被 AI 大规模解决后无法逆转,会污染其他研究路径。

推荐理由

数学界对 OpenAI 一次性放出 700 多份 AI 证明草稿的反弹,呈现了 AI 与学术共同体在署名、验证和节奏上的冲突。

继续阅读

最新日报 · 第 24 期NVIDIA 与 AI4Bharat 推出 Nemotron-pretraining-Indic-v1 及开放数据生成流水线

正在热议

  1. 1Meta 开放发布 Muse Spark Open,支持 Mac 和云端部署,位居美国开放权重模型榜首
  2. 2Google 在全球推出 Gemini 4 Argon,并扩大付费访问范围,基准测试结果不一
  3. 3OpenAI 为 ChatGPT 中的 GPT-6 Astra Pro 带来并行智能体和更快响应
  4. 4Meta的新商业条款引发有关网站抓取和 AI 训练权利的争议

明早 08:00 把这样一份日报发到你邮箱

和上面这份一样:几件值得看的事。免费,点确认信之后才会开始发送,每封信都能一键退订。 看一份往期日报 · 2026-10-17