OpenAI 稱 AI 推翻複雜度理論的長年猜想,審查專家先說:參與不等於背書
OpenAI 10 月 26 日宣布模型證明 ETH 為假、解決 Kakeya 與 Yang–Mills 存在性。部分有 Lean 檢查,ETH 交外部專家審查,Yang–Mills 材料未公開。我們沒讀論文內文,也沒自己跑 Lean。

5 篇文章
OpenAI 10 月 26 日宣布模型證明 ETH 為假、解決 Kakeya 與 Yang–Mills 存在性。部分有 Lean 檢查,ETH 交外部專家審查,Yang–Mills 材料未公開。我們沒讀論文內文,也沒自己跑 Lean。

GPT-6.1 Terra 每百萬 token 輸入 1 美元、輸出 5 美元,OpenAI 稱比 Sol 便宜一半。效能數字多為官方自測;第三方指數給 48 分,輸出 token 高於中位數,換之前先用自己的任務重算。

OpenAI 公開訓練環境的分層隔離與模型紅隊結果:除了 microVM 逃逸,被放行的內部服務、DNS 與共用硬體也成了路徑。

OpenAI 在 9 月 29 日 DevDay 發表 dots。本文介紹持續工作的助手如何使用,整理 X 親測回饋與 Reddit 討論:語音交辦、跨任務協作令人期待,登入、進度與產品入口仍有摩擦。

從 Dots、GPT-6.1 Sol 到 Ultrafast 與雲端工作環境,整理 OpenAI DevDay 2026 的重要更新、開放限制,以及對開發者的實際影響。
