Google 内部测试 Deep Think Mathematica 模型

Google 内部测试中出现新模型 "Deep Think Mathematica"，疑似去年面向部分机构发布的 Deep Think IMO 模型的继任者。该模型为 DeepThink 的数学专用变体，去年版本可解复杂数学题。推文同时提到 OpenAI 近期宣布其下一代 AI 模型生成了 Navier-Stokes 千禧年大奖难题的解答。