模型觀點 · 本週 趨勢 （公布 07-22 前後，經轉引）
本篇出自 2026年7月24日 晨報
Jacobian 猜想是 1939 年提出的代數幾何名題，說的是：如果一個多項式映射的「Jacobian 行列式」是非零常數，這個映射就應該可逆。Anthropic 研究員公布：在人機協作下，Claude Fable 找到一個具體反例，行列式恆為常數、卻把不同的點映到同一處，直接違反猜想；反例另經 Kimi（月之暗面）、ChatGPT（OpenAI）等不同公司的模型，以及 Anthropic 自家的 Sonnet 各自獨立驗證，其後又找到多個同型反例（theZvi 週報，07-23）。本報 7/20 期報過 DeepMind 的系統自主解出 353 個 Erdős 開放問題中的 9 個；這次的證據品質更好：反例本身數學上可機械驗證，且驗證來自互為競品的模型，不是單一廠商自報。邊界有三條，該一起記：一、人類數學家的貢獻是實質的，這不是 AI 獨立完成；二、轉述者自己提醒，一題被解出也同時說明它相對容易；三、有評論者質疑反例可能源自訓練資料中人類已有的結果；成果歸屬與「首例」定位，要等學術界定調。本條同樣是週報單一轉引，我們尚未取得原始公布貼文。附帶一句方法論價值：這種多個競品模型互相交叉驗證的做法，對評測與驗收流程的設計也有參考。其餘方向本週無重大新論文。
只留 email，隨時退訂。這是我們唯一想請你做的事。
Stanford 的「平攤評測法」——用「從題目內容預測難度」壓低可靠評測的成本——今天完成定向查證,找到獨立第二證:ICML 2026 一篇論文用同路線做模型能力外推(scali…
Lambert 一年前的「美版 DeepSeek」宣言——2 年、1 到 5 億美元做出權重（模型訓練完的參數檔案）／數據／代碼全開放的前沿模型——本報完成定向查證:專案存在有媒體…
目前後訓練（模型練完基礎能力後、再教它怎麼答題的階段）的主力方法 RLVR（可驗證獎勵的強化學習：只在數學、程式這類有標準答案的任務上給模型獎勵）有個結構性盲點：它只優化「可以客觀…
SemiAnalysis 在同篇 AMD 實勘裡給出一組第一手工程觀察：2.5 名工程師配上 AI 編程代理，就能完成過去一整組人才做得完的新模型「發布日支援」：代理自動抓設定、跑…