9月16日，X平台消息源@lyraxana披露，谷歌正在开发一款内部代号为Mathematica的实验性AI模型。该模型以DeepThink V3为基础构建，针对繁重计算任务和复杂符号问题求解进行了专门优化，被外界视为谷歌迄今数学推理能力最强的AI模型候选。

根据泄露的API数据，Mathematica的内部标识符为“models / deepthink-mathematica-tf-raw-thoughts”，上下文窗口达到100万词元，单次输出上限为65,536个词元。配置信息中标注了“UNSTABLE_EXPERIMENTAL”状态，表明该版本尚属不稳定实验阶段；同时带有“Teamfood”标签，这是谷歌内部员工测试的专用术语，说明相关服务目前仅在内部范围开放。

TestingCatalog指出，谷歌此前已面向高阶数学竞赛推出Gemini DeepThink IMO模式，并刚于9月15日上线Gemini 3.8 Live和Live Extended Thinking。Mathematica的曝光，进一步显示谷歌正在数学推理这一细分方向上持续加码，试图以超长上下文与符号计算能力构建差异化优势。