证明

OpenAI 的千禧年难题证明遭质疑：数学家称“可能自己都没看懂”，1 万个智能体贡献不到 10%

9 月，OpenAI 抛出过一个足够震撼的说法：内部 AI 系统用了大约 88 小时，完成了一道千禧年大奖难题相关的纳维-斯托克斯方程证明。消息一出，“AI 攻克数学”的标题铺天盖地。一个月后，数学界的审查给出了另一种声…