OpenAI宣布已解决纳维-斯托克斯方程的千年奖问题之一。人工智能科技前沿 利用约1万个AI代理和内部下一代模型，在88小时内证明了光滑三维流体可在有限时间内产生奇点，并提供分析证明及Lean形式化验证。该成果标志AI在复杂数学问题上的重大进展，针对流体运动的奇点行为，回应了克雷数学研究所2000年设立的千年大奖挑战。 北京