1️⃣ OpenAI 宣稱以內部模型解決千禧年難題 Navier–Stokes,發布 165 頁證明與 Lean 形式化,但學界爆發功勞爭議
OpenAI 官方宣布一個「能力顯著超越 GPT-6 Astra」的內部模型,產出三維 Navier–Stokes 方程有限時間奇異性的證明,並釋出 Lean 形式化驗證版本,聲稱不追求百萬美元獎金。但 NYU 數學家 Buckmaster 公開質疑 OpenAI 可能在發布前接觸其未公開研究,數學家 Bubeck 則否認並稱指控「錯誤且煽動」。無論爭議結果如何,這是 AI 首次正面挑戰頂級純數學難題的里程碑。
🔗 OpenAI 官方公告(📌官方公告)
2️⃣ Reuters:OpenAI 把 AI 推進晶片設計產業,CFO Friar 嗆聲「Luna 比 GLM 5.3 便宜」
OpenAI 財務長 Sarah Friar 表示,OpenAI 正將 AI 推入晶片設計等專業產業,並主打價格戰:低價模型 Luna 近期降價 80%,帶動用量約十倍成長;她更直接點名「在雲端部署 Luna 比 Z.ai 的 GLM 5.3 更便宜」。這番話顯示美中開源/閉源模型的成本戰已從技術圈打到企業採購談判桌。
🔗 Reuters(via Straits Times)(📰媒體報導)
3️⃣ 中國工信部五年規劃:2030 年智能算力目標 9,800 EFLOPS,較目前翻兩番
工信部發布 2026–2030 資訊通信業規劃,目標 2030 年全國智能算力達 9,800 EFLOPS——目前約 2,450 EFLOPS 的四倍以上,並規劃累計投入 3.8 兆人民幣建設資訊基礎設施,部署萬卡級與十萬卡級算力集群。在中美算力競賽持續升溫下,這份官方路線圖等於宣告中國未來五年的 AI 基建總動員。
🔗 China Daily(📰媒體報導)