Google内部测试里出现了一个新名字：Deep Think Mathematica。据相关消息显示，它疑似是去年面向部分机构发布的 Deep Think IMO 模型的继任者。

从命名看，这是 DeepThink 的数学专用变体。去年的版本已经能解复杂数学题，这次的新模型把方向进一步收窄到数学。

打开网易新闻 查看精彩图片

为什么盯上数学

数学题有标准答案，对错可验证，是检验模型推理能力的天然试验场。把模型往数学方向单独做变体，等于把推理能力放到最严苛的场景里跑。

同一时间线上还有另一条消息。推文提到，OpenAI 近期宣布其下一代 AI 模型生成了 Navier-Stokes 千禧年大奖难题的解答。

两条消息放在一起看

一边是 Google 在内部测试数学专用模型，一边是 OpenAI 宣称下一代模型碰了千禧年难题。两家在数学推理这条赛道上的动作，节奏咬得很紧。

目前关于 Deep Think Mathematica 的信息，只有内部测试和疑似继任者这两点，具体能力、发布时间都还没有更多披露。