Gemini 4 Carbon 登顶 MathArena，测试成本约为 GPT-6.1 Sol 的 15 倍
Google 的 Gemini 4 Carbon 在 MathArena 数学基准中登顶，但在测试所用推理设置下，成本约为 GPT-6.1 Sol 的 15 倍。
#推理
The DecoderAI 评分5050 The DecoderAI 评分7171 Anthropic 建议调整 Claude Opus 5.5 提示词习惯，删除催促思考的指令
Anthropic 建议 Claude Opus 5.5 用户删除“努力思考”等旧式提示词，并从默认的 Medium 推理强度开始使用。公司称，删除这些措辞后，测试中的响应启动更快，质量未出现可测量的下降；Opus 5.5 在 Medium 下的表现可匹配 Opus 5 的 High 设置。
AI快讯AI 评分7575 Google 扩展 Antigravity，推出 Teamwork 多智能体系统用于数学证明验证与软件优化
Google 宣布扩展 Antigravity，推出由多个 Gemini 专业智能体组成的 Teamwork 系统，用于复杂数学证明验证和软件性能优化。其 Teamwork-LEAP 系统通过约 2.88 万次子智能体调用、生成约 180 万行 Lean 代码，完成韦伊猜想相关成果的形式化，并以独立质疑者和审查者检查智能体结果。
AWS Machine Learning BlogAI 评分4040 如何使用 Amazon EC2 Spot 优化 AssemblyAI 语音转文字推理成本
AssemblyAI 通过混用 Amazon EC2 Spot 和按需实例，优化大规模语音转文字推理成本，同时维持服务等级协议承诺。其架构结合 Amazon ECS、不同 GPU 实例类型和 Amazon SQS 队列重试机制，应对 Spot 中断，并通过区域部署满足数据驻留要求。
The Verge · AIAI 评分7878 Google Gemini 4 Hydrogen 增强复杂问题理解，成为 AI Mode 默认模型
Google 表示，新模型 Gemini 4 Hydrogen 更擅长理解多部分问题、难以辨认的拼写错误和具体请求，现已成为 AI Mode 默认模型，并用于 AI Overviews 中最难的问题。
Ars Technica · AIAI 评分8080 Google 推出 Gemini 4 Hydrogen，替换 Gemini 3.8 Flash
Google 推出 Gemini 4 Hydrogen，即日起在旗下产品中替换 Gemini 3.8 Flash，开放限制较此前的 Argon 和 Carbon 更宽松。
Google DeepMind精选AI 评分8787 Google 向开发者、企业、科研人员和消费者开放 Gemini 4 Carbon
Google 宣布开放 Gemini 4 Carbon，面向开发者、企业、科研人员和消费者，主打复杂知识工作、长流程智能体编码、网络安全与科学推理。
推荐理由：Carbon 与 Argon 的任务定位和 token 消耗差异，为比较复杂任务中的推理深度、验证投入与使用成本提供了具体依据。