近日有消息透露，谷歌正在秘密推进一项名为“Mathematica”的实验性AI模型开发项目，该模型基于其此前发布的DeepThink V3架构进行深度优化，核心目标是为高强度数值计算与复杂符号推理场景提供更强大的支持。据内部文件显示，这一项目被赋予了极高的技术优先级，预计将成为谷歌在数学推理领域最具竞争力的产品。
技术文档显示，该模型在谷歌内部被标记为“models/deepthink-mathematica-tf-raw-thoughts”，其最大突破在于支持长达100万个词元的上下文处理能力，同时将单次输出限制设定为65536个词元。这种设计使得模型既能处理超长文本的连贯性分析，又能确保复杂推导过程的完整性输出，特别适合需要多步骤验证的数学证明场景。
值得注意的是，在泄露的配置参数中，该模型被明确标注为“UNSTABLE_EXPERIMENTAL”版本，这表明当前开发阶段仍存在技术不确定性。与此同时，代码库中出现的“Teamfood”标签暴露了其内部测试属性——这是谷歌内部用于员工协作验证的专用标识，意味着该模型尚未进入公开测试阶段。
从技术演进路径看，这个新项目与谷歌现有产品线存在紧密关联。此前推出的Gemini DeepThink IMO模式已展现出处理国际数学奥林匹克竞赛级问题的能力，而9月15日更新的Gemini 3.8 Live版本更强化了实时推理功能。此次Mathematica模型的研发，可视为谷歌在垂直领域技术深耕的延续，其符号处理专项优化或将填补现有大模型在形式化验证方面的短板。
据参与测试的内部人士透露，该模型在多项基准测试中表现出色，特别是在需要多变量联立求解的场景下，其推理速度较前代产品提升近3倍。不过由于仍处于实验阶段，模型在处理某些非标准数学符号时仍会出现稳定性波动，这或许正是谷歌保持谨慎态度的重要原因。
