IXThinker·2026-09-08 00:40

谷歌團隊展示小模型多領域攻堅成績

谷歌Antigravity團隊公布長文，展示數學、系統與開源三類成果：模型解開7道頂尖難題，證明通過嚴格機器驗證；從零構建的CPU模擬器成功啟動系統，運行誤差僅0.71%；開源庫優化亦獲上游合併。

攻克數學難題

模型一口氣解開7道頂尖數學與計算機難題，交出的40頁長篇證明連最嚴苛的機器審核也挑不出錯，顯示其在高難度邏輯推理任務上的可靠程度，已達到可實際使用的水平。