2026年菲尔兹奖得主齐默曼在领奖当天宣布加入OpenAI，并预言AI将在两年内全面超越人类数学证明能力。此后OpenAI模型接连推翻多个悬置数十年的数学猜想，还以万个智能体在88小时内攻克纳维-斯托克斯千禧年难题，引发署名权争议。陶哲轩、高尔斯等数学家担忧数学价值观危机，甚至可能沦为无人理解的“思维墓地”。