The Decoder· Manuel Uth·· 1 天前
数学家发起抵制 OpenAI 行动：AI 生成的证明大量涌入数学界
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 导读
数学家团体 AHM 发表声明呼吁抵制 OpenAI，起因是 OpenAI 一次性发布 700 多个 AI 生成的数学证明文件，其中包括对 Navier-Stokes 千禧年难题的解法。Fields 奖得主 Terence Tao 称损害不可逆，问题一旦被 AI 解决便无法"取消解决"，整个数学分支的肥沃土壤正在被大规模"收割"。
来源：The Decoder · the-decoder.com