機器之心● 精選10/7 14:06AI 評分89
OpenAI 公布納維-斯托克斯方程奇點構造證明
9 月 8 日 OpenAI 公布由內部 AI 系統產生的解析證明與 Lean 形式化證明，構造出三維不可壓縮納維-斯托克斯方程在有限時間內形成奇點的解，即千禧年大獎難題的一種可能答案。9 月 11 日 Clay Mathematics Institute 稱該工作「看起來已經解決」問題，但按規則論文仍需評審與長期檢驗，獎金尚未宣布歸屬。
搜尋
依意思最接近的 3 筆
NVIDIA blog10/1 14:00AI 評分25
輝達稱 Vera Rubin NVL72 每兆瓦吞吐量超 GB300 30 倍
輝達援引 SemiAnalysis AgentX 資料稱，Vera Rubin NVL72 每兆瓦吞吐量超過 GB300 NVL72 的 30 倍，在 DeepSeek V4 Pro 上每百萬 token 成本最多低 45 倍。輝達以「高產、耐用、通用」概括 AI 工廠回報邏輯：每兆瓦 token 數決定收益，A100 出貨六年後仍在商用，CoreWeave 已將 2020 年首批裝置的預訂延長至 2029 年。
TechCrunch AI10/2 22:09AI 評分71
Sean Parker 將 Stability AI 轉型為音樂 AI 工具
Napster 聯合創始人 Sean Parker 正把 Stability AI 重塑為面向音樂專業人士的 AI 工具公司。兩年前他參與 8000 萬美元救助這家瀕臨崩潰的影像生成初創公司，如今與 CEO Prem Akkaraju 公布新方向。8 月底公司宣布獲得 7600 萬美元融資，投資方包括索尼、華納和環球，三家還授權曲庫用於訓練。