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

数学家呼吁顶刊停发AI易证著名猜想论文

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

先了解这件事

AI 综述

2026年10月6日,AGI Hunt 报道称,有数学家提出,在 AI 时代,证明著名猜想虽然仍是好科学,但会变成最廉价的科学,因为这类任务借助 proof oracle(证明神谕)用 prompt 最容易完成。该观点认为,在期刊版面有限的前提下,猜想的证明甚至不必发表,顶刊应改为发表即使有证明神谕也难以写出的精微论文。报道称这一观点由 littmath 转发自 tonylfeng,未披露提出该观点的数学家身份、发表渠道以及期刊方面的回应。

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

报道时间线

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

10月6日
  1. AGI Hunt
    AI 时代证明著名猜想成最廉价科学,数学家呼吁顶刊停发此类论文

    有数学家提出,证明著名猜想虽然仍是好科学,但会变成最廉价的科学,因为这类任务借助 proof oracle 用 prompt 最容易完成。在期刊版面有限的前提下,作者认为猜想的证明甚至不必发表,顶刊应改为发表即使有证明神谕也难以写出的精微论文。该观点由 littmath 转发自 tonylfeng。

本事件热度走势

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