谷歌最强数学推理模型曝光：代号 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。