AI 模型宣稱破解納維–斯托克斯難題

有什麼變化

據報導，這項突破涉及尚未解決的納維–斯托克斯方程數學難題。

為什麼重要

若經獨立驗證，這項成果可能代表 AI 輔助數學推理與形式化證明生成的重大進展。在證明內容與驗證成果公開前，實務工作者應將其視為重要但尚未確認的研究報導。

下一步行動

追蹤正式證明成果的發布，並在 Lean 中嘗試重現該主張，再將其視為 AI 推理突破的證據。