北京
分享至
Google内部测试里出现了一个新名字：Deep Think Mathematica。据相关消息显示，它疑似是去年面向部分机构发布的 Deep Think IMO 模型的继任者。
从命名看，这是 DeepThink 的数学专用变体。去年的版本已经能解复杂数学题，这次的新模型把方向进一步收窄到数学。
为什么盯上数学
数学题有标准答案，对错可验证，是检验模型推理能力的天然试验场。把模型往数学方向单独做变体，等于把推理能力放到最严苛的场景里跑。
同一时间线上还有另一条消息。推文提到，OpenAI 近期宣布其下一代 AI 模型生成了 Navier-Stokes 千禧年大奖难题的解答。
两条消息放在一起看
一边是 Google 在内部测试数学专用模型，一边是 OpenAI 宣称下一代模型碰了千禧年难题。两家在数学推理这条赛道上的动作，节奏咬得很紧。
目前关于 Deep Think Mathematica 的信息，只有内部测试和疑似继任者这两点，具体能力、发布时间都还没有更多披露。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
