谷歌最强数学推理模型曝光:代号 Mathematica,100 万词元上下文专攻数学难题

爆料称谷歌正基于 DeepThink V3 模型,构建内部代号为 Mathematica 的实验 AI 模型。该模型主要针对繁重计算与复杂的符号问题求解进行特别优化,预估将成为谷歌最强的数学推理 AI 模型。

爆料称谷歌正基于 DeepThink V3 模型,构建内部代号为 Mathematica 的实验 AI 模型。该模型主要针对繁重计算与复杂的符号问题求解进行特别优化,预估将成为谷歌最强的数学推理 AI 模型。

一、输出上限 65536 词元,标注“不稳定实验版”

API 数据显示,该模型内部标识符为“models / deepthink-mathematica-tf-raw-thoughts”,支持高达 100 万个词元(token)的上下文窗口,输出限制为 65536 个词元。上下文窗口指模型单次处理时可读取的文本单位总量,输出上限则是单次回答可生成的文本单位数量。

泄露的配置中还标注了“UNSTABLE_EXPERIMENTAL”,表明该版本属于不稳定实验版本。模型同时带有“Teamfood”标签——这是谷歌用于内部员工测试的术语,意味着相关服务目前处于内部测试范围。

TestingCatalog 指出,谷歌此前已推出面向高阶数学竞赛的 Gemini DeepThink IMO 模式,并在 9 月 15 日推出了 Gemini 3.8 Live 和 Live Extended Thinking。

💬 评论
🔗 本文链接

以专业为基,引领科技向善向新

Rooted in professionalism, we lead technology toward social good and innovation.

数智化转型网 · 了解更多产业资讯与选型数据 →

📰 你可能也喜欢

数智化转型网每日AI资讯 AI情报站

DeepMind成立新研究院,四篇文章直面AGI关键问题

谷歌与谷歌DeepMind研究人员于9月16日成立DeepMind研究院,旨在推动围绕通用人工智能(AGI)的跨学科讨论。研究院董事包括DeepMind联合创始…
📅 10-20 · 👁 2026年10月20日
数智化转型网每日AI资讯 AI情报站

腾讯 AI 语音助手 Chatterfly 低调内测:开口即成稿,数据只存本地

腾讯全新 AI 语音助手 Chatterfly 已低调开启内测,有媒体称该产品正是此前传闻中的“元宝输入法”。目前 Chatterfly 已支持 macOS 和…
📅 10-20 · 👁 2026年10月20日
数智化转型网每日AI资讯 AI情报站

SpaceX AI 部门盯上破产初创公司数据:将用来训练Grok

据知情人士透露,SpaceX 旗下人工智能部门 SpaceXAI 正在进行非正式的内部讨论,考虑从陷入困境或已经倒闭的初创公司手里收购客户及运营数据,用来训练 …
📅 10-20 · 👁 2026年10月20日
数智化转型网每日AI资讯 AI情报站

Anthropic重构Claude Code项目功能,多线程并行执行任务

Anthropic重构Claude Code项目功能,新增多线程并行协作机制。用户只需描述项目目标,协调员即可将任务拆分并分配至多个独立“线程”,每个线程均在独…
📅 10-20 · 👁 2026年10月20日
数智化转型网每日AI资讯 AI情报站

OpenAI 推出 Astra for Law:索引 2.3 亿 URL,法律问答正确率 54% 力压通用模型 15 个百分点

OpenAI 于9月17日发布博文,推出定位法律专用的人工智能基础平台 Astra for Law。它的底气来自数据规模:法律搜索索引覆盖超过2.3亿个 URL…
📅 10-20 · 👁 2026年10月20日
数智化转型网每日AI资讯 AI情报站

加速进化人形机器人Booster K1 探索版开售 京东标价38999 元

加速进化的成长型人形机器人 Booster K1探索版今日正式发售,京东标价38999元。它的自我定位很明确——"具身开发入门级整机",瞄准…
📅 10-20 · 👁 2026年10月20日