数学家熬了25年，AI花百万美元抢了先作者： 安域星联 / 10 9 月, 2026 OpenAI称其AI系统证明纳维-斯托克斯方程可在有限时间内形成奇点，并通过Lean形式化验证。该成果引发数学 […] 📰 来源: 安全客 cn-sec ⚠️ 合规声明: 本文内容仅用于网络安全合规学习、科研与授权测试用途。严禁用于任何未授权行为,违者自行承担全部法律责任。