谷歌最强数学推理模型曝光：代号 Mathematica，100 万词元上下文专攻数学难题

内部代号Mathematica的谷歌实验模型遭泄露

9月16日，消息源@lyraxana在X平台发布推文爆料称，谷歌正基于DeepThink V3模型构建内部代号为Mathematica的实验AI模型，该模型主要针对繁重计算、复杂的符号问题求解进行特别优化，预估将成为谷歌目前最强的数学推理AI模型。根据泄露的API数据，该模型内部标识符为“models/deepthink-mathematica-tf-raw-thoughts”。

百万词元上下文参数拉满，明确标注内部测试属性

泄露配置显示，该模型支持高达100万个词元（token）的上下文窗口，单次输出上限为65,536个词元。注：上下文窗口指模型单次处理时可读取的文本单位总量，输出上限指模型单次回答可生成的文本单位数量。配置中标注的“UNSTABLE_EXPERIMENTAL”状态表明，该版本仍属于不稳定的实验版本。同时模型带有“Teamfood”标签，这是谷歌专门用于内部员工测试的术语，意味着相关服务目前仅限内部测试范围。

谷歌此前已布局多款数学相关AI功能

在此之前，谷歌已推出面向高阶数学竞赛的Gemini DeepThink IMO模式，专注于数学竞赛类题目的求解。就在9月15日，谷歌还正式推出了Gemini 3.8 Live和Live Extended Thinking功能，进一步拓展了AI在复杂推理场景下的能力边界。