AI 新聞

追蹤 OpenAI、Google DeepMind、Anthropic、xAI、Meta、Microsoft、NVIDIA、Apple、Amazon 等 AI 公司與產品的最新消息,包含 GPT、Gemini、Claude、Grok、Llama、模型發布、功能更新、融資、合作、晶片、政策與產業趨勢。

OpenAI 對 Navier–Stokes 千禧年難題提出解法 OpenAI 主張提出 Navier–Stokes 解法 OpenAI 官方來源

OpenAI 主張提出 Navier–Stokes 解法:10,000 個 Agent、Lean 證明與仍待驗證的關鍵

OpenAI 公布論文與 Lean 形式化證明庫,並主張其系統提出 Navier–Stokes 的相關解法:在特定的平滑外力條件下,起初靜止的流體可於有限時間產生奇異性,且能量保持有限。這是重要研究公告,但不等於已獲數學界或 Clay Mathematics Institute 正式認定;公開材料仍須經過檢查與討論。