OpenAI稱AI完成納維－斯托克斯證明，數學界質疑

2026年10月17日，OpenAI稱其AI系統在88小時內完成納維－斯托克斯方程證明，並發布166頁的Lean形式化驗證版本。多國數學家質疑證明採用的研究路徑及其原創性，並指出成果未解決無外力條件下的核心問題。專家指智能體對成果的實際貢獻率不足10%。全球數學界目前仍在審查這項成果，爭議涉及證明的研究路徑、原創性及無外力條件下的核心問題。

AI 根據報道生成 · 24 分鐘前更新

還沒有足夠的連續觀測數據，暫不繪製趨勢。