OpenAI等AI模型几天内就给出了纳维-斯托克斯方程完整解法,还批量发布了手稿。这些证明全靠上万个智能体通过海量试错和强化学习生成的机器代码,人类专家逐行都看不懂推导路径。25位菲尔兹奖得主联名声明敦促停止与这类AI公司的合作。学界反对把数学皇冠当跑分工具,因为它直接锁死了探索逻辑,挤占了正常学术交流空间。我认为这不是进步,而是对数学传承根基的破坏,必须抵制。

OpenAI等AI模型几天内就给出了纳维-斯托克斯方程完整解法,还批量发布了手稿。这些证明全靠上万个智能体通过海量试错和强化学习生成的机器代码,人类专家逐行都看不懂推导路径。25位菲尔兹奖得主联名声明敦促停止与这类AI公司的合作。学界反对把数学皇冠当跑分工具,因为它直接锁死了探索逻辑,挤占了正常学术交流空间。我认为这不是进步,而是对数学传承根基的破坏,必须抵制。
