摘要：： 11月3日，OpenAI CEO萨姆·奥特曼在ADIPEC 2026开幕式上确认，破解纳维—斯托克斯方程（首个被攻克的千禧年大奖难题）的内部模型即为“下一代GPT”，即将发布。该模型由1万个Agent完全自主协同，连续88小时完成证明，并用17小时完成Lean形式化验证，还触及黎曼猜想等其他数学难题。
来源：： 香港新闻网