25位菲尔兹奖得主联合警告AI正毁掉数学

https://www.163.com/dy/article/L6L87PGU0517R7PC.html

近期大模型的数学能力实现跨越式提升，OpenAI 的消息更是震动学界。本月 8 日，OpenAI 公布内部大模型借助约一万个 AI 智能体协同运算，仅用 88 小时，就完成七大千禧年大奖难题之一 “纳维 - 斯托克斯存在性与光滑性问题”的证明；已经发布的 GPT-6 Astra，也成功破解 5 道长期悬而未决的 Erdős 数学难题，其中就包括 Erdős 在 18 岁提出的解离集猜想，以及极值图论中著名的 Erdős–Sós 猜想。