突破
OpenAI 宣称破解纳维 - 斯托克斯难题 OpenAI 利用大规模测试时计算提出纳维 - 斯托克斯方程奇点证明,有望角逐千禧年大奖。
深度解读
若该证明经同行评审确认,将是 AI 从“模式匹配”迈向“科学发现”的里程碑。利用测试时计算(Test-time Compute)解决长期未决的数学物理难题,标志着算力堆叠在基础科学领域的突破性应用。这不仅可能为 OpenAI 带来第二个千禧年大奖,更将重塑科研范式:未来科学家或许更多扮演验证者角色,而假设生成与复杂推导将由 AI 主导。然而,数学界对纯 AI 证明的接受度及可解释性仍是巨大挑战。