AI写88小时，人类读7周！数学家开始读懂OpenAI千禧难题证明

OpenAI 于9月8日发布一份证明，宣称攻克了千禧年难题纳维－斯托克斯方程，该方程描述流体运动。这份证明由 AI 用 88 小时写出，而人类数学家读完需要约 7 周，目前数学家们正逐步读懂这份证明。