25位菲尔兹奖得主联名质疑AI“剧透”数学，他们究竟在担心什么？

8月以来，美国Anthropic、OpenAI等AI企业凭借手中先进的大模型在前沿数学领域接连取得多项成果。Anthropic宣称研究版Claude模型在黎曼猜想上取得进展，其Fable模型仅用11天就完成了费马大定理的完整形式化证明。OpenAI则宣布GPT-6 Astra模型在有界素数间隔问题上取得新突破，其内部未公开模型仅88小时就解决了千禧年七大难题之一——纳维-斯托克斯问题。