跳到正文
原文
AGI Hunt· littmath·· 2 小时前AI 评分50

AI 时代证明著名猜想成最廉价科学,数学家呼吁顶刊停发此类论文

AI 导读

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

来源:AGI Hunt · agihunt.info