谷歌最強數學推理模型曝光：代號 Mathematica，100 萬詞元上下文專攻數學難題

爆料稱谷歌正基於 DeepThink V3 模型，構建內部代號爲 Mathematica 的實驗 AI 模型。該模型主要針對繁重計算與複雜的符號問題求解進行特別優化，預估將成爲谷歌最強的數學推理 AI 模型。

輸出上限 65536 詞元，標註“不穩定實驗版”

API 數據顯示，該模型內部標識符爲“models / deepthink-mathematica-tf-raw-thoughts”，支持高達 100 萬個詞元（token）的上下文窗口，輸出限制爲 65536 個詞元。上下文窗口指模型單次處理時可讀取的文本單位總量，輸出上限則是單次回答可生成的文本單位數量。

泄露的配置中還標註了“UNSTABLE_EXPERIMENTAL”，表明該版本屬於不穩定實驗版本。模型同時帶有“Teamfood”標籤——這是谷歌用於內部員工測試的術語，意味着相關服務目前處於內部測試範圍。

TestingCatalog 指出，谷歌此前已推出面向高階數學競賽的 Gemini DeepThink IMO 模式，並在 9 月 15 日推出了 Gemini 3.8 Live 和 Live Extended Thinking。