AI数学证明

88小时炸毁数学大厦?AI速通世纪难题,却炸出了满屏问号

一、88小时“速通”世纪难题:风波的来龙去脉按照OpenAI的说法,他们使用了约1万个Agent,先以1000个Agent在简化问题上试跑了50个小时,随后全力猛攻纳维-斯托克斯方程,总耗时88小时。近几个月,AI在解决重大数学问题上的成功,连数学圈之外都上了头条。

2026-09-12