分類 LLM

OpenAI 宣稱解開 Navier-Stokes 千禧年難題：HN 兩篇熱文、1400 則留言到底在吵什麼

OpenAI 說內部模型解出了 Navier-Stokes existence and smoothness，Buckmaster 隨即公開聲明指控時序可疑、還被要求拔掉任職 Anthropic 的共同作者。我把 HN 上兩篇合計 1400 多則留言的爭點整理成一篇。

Meta 推出會發信、訂票、結帳的 personal agent Muse。功能是 polished OpenClaw，真正的問題是信任：HN 267 則留言一面倒不想把資料交給 Meta。整理功能、價格、安全架構與社群反應。

OpenCode Go 在 9 月 4 日悄悄上架匿名模型 Omen Alpha，Reddit 社群當天就鎖定它來自 Z.ai 的 GLM 系。五篇討論串的偵探證據、實測評價與額度抱怨，一次彙整。

EEBench 用模擬加真實料號評測 AI 電路設計，Claude Opus 5 拿下 61.6%。一部分電路現在已經解得動，整機產品還早。

每一個環境都是一款規則未知、分關進行的回合制解謎小遊戲，連過關目標都要自己摸索出來，這篇把規格一次講清楚。

三家 AI 同一早晨接連故障，HN 吵的是連鎖遷移壓垮還是共用承重服務出事，外加 Downdetector 可信度與護城河之死。

GPT-6 Astra 是 OpenAI 最新推出的高智慧、高對齊模型，在電腦操作、程式開發、網路安全、科學研究與專業工作皆達頂尖水準，FrontierMath Tier 4 達 98%、ExploitBench 滿分。本文為官方公告繁體中文翻譯整理。

OpenAI GPT-6 Astra 在 ARC-AGI-3 接近滿分，HN 934 則留言吵的不是分數，是 AGI 到底該怎麼定義。

World Labs 2026-09-01 發表 Atlas omni 世界模型：單一模型同時生成影片、重建 3D、模擬機器人訓練環境。效能數字全部來自官方自測，只開放 early access。

先有口碑、後有名字：ox-alpha 盲測衝上 OpenRouter 用量第一，揭曉是 GLM-5.3-Flash。程式能力約等於 Claude Opus 4.8，價格卻是零頭，本文整理官方跑分、第三方指數與 Reddit、X 社群實測。