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