Sam Altman — 內部模型攻下 Navier–Stokes,他說這是放慢的最硬證據
OpenAI 公布內部系統(明顯強過 GPT-6 Astra)提出 Millennium Prize 流體方程 singularity 解法與 Lean 形式化;Altman 在 X 上稱這是「pacing for safety」迄今最強烈的證據,並為 Bubeck 團隊與 Anthropic/NYU 並行工作的署名爭議背書。
X news · AI 人物熱點
OpenAI 公布內部系統(明顯強過 GPT-6 Astra)提出 Millennium Prize 流體方程 singularity 解法與 Lean 形式化;Altman 在 X 上稱這是「pacing for safety」迄今最強烈的證據,並為 Bubeck 團隊與 Anthropic/NYU 並行工作的署名爭議背書。
Nvidia CEO 在 X 上祝賀 Astra,並寫「AGI has arrived」、點出逾 10 萬張 Grace Blackwell 與接下來 40 萬 GPU;供應商宣告抵達、OpenAI 首席科學家同日呼籲自願放慢,兩邊讀同一模型卻完全不同調。
9/8 上線約 1 PB 資源,預先算好人類基因體所有可能單字母變異的分子效應,並放出 AVI 分數給學術免費查詢;作者陣容以 Pushmeet Kohli、Žiga Avsec 為首,延續 AlphaFold 之後的科學工具路線。
Bloomberg 引述知情人士:盡職調查後決定不買;標的重點是晶片效率堆疊而非世界模型,雙方仍可能其他合作。兩家公司對媒體拒評,價格與上市前資本紀律是主要解讀軸線。
Harness 負責人崔天一在社群宣布「前所未見」的後端/Agent 算力工程招募,理由是流量與 agent 負載把現有系統逼到極限。英文報導多轉述中文一手;研究職缺幾乎沒開,訊號是基礎設施優先於再衝模型。