#推理模型

谷歌新出的Gemini 3.7 Flash，写代码和修bug比3.6强，做网页更省事，还能在Antigravity里直接试。

官方账号Google DeepMind@GoogleDeepMind原文

DeepSeek 突然给 V4 API 涨价，还发了 V4-Pro，推理强度分三档，能直接配 Codex 用。想升级 Agent 工作流可以看看。

小互@imxiaohu11 个信源在谈原文

Claude把2000阶以下的哈达玛矩阵全验证了一遍，以后数学系做组合题能省不少事。

量子位@衡宇原文

BDH-CQ 这篇新论文把循环潜在推理用到上下文学习里，想看看它怎么提升少样本推理，可以读读。

AK@_akhaliq原文

DeepSeek 新模型只走 API，OpenRouter 上能直接试。三档推理等级画出来的鹈鹕都不一样，想玩可以拿同一道题对比看看。

Grok 4.6 上线，长程 Agent 强化，指数追平 GPT-5.6 Sol Max，试试？

shao__meng@shao__meng11 个信源在谈原文

Grok 4.6来了，500K上下文还加了xhigh推理，跑长任务更稳。编码还是短板，但智能体场景可以试试。

官方一手marktechpost@Michal Sutter原文

DeepSeek出了V4 Pro 0813，多项跑分超过Opus 4.8，比Fable便宜100倍，想省钱又想要性能的可以看看。

orange.ai@oran_ge原文

Anthropic发了新研究，Claude在推理和代码上又强了，接近GPT-4，想了解细节的可以看看。

The Rundown AI@therundownai11 个信源在谈原文

安全研究员发现API漏洞能偷看Claude、GPT的加密思考过程，还扫出62个密钥，搞AI开发的得看看。

Yangyi@Yangyixxxx11 个信源在谈原文

Meta 又出新推理模型了，想看看它跟 GPT 和 Claude 比怎么样，这篇可以了解个大概。

The Rundown AI@therundownai11 个信源在谈原文

Anthropic 的 Claude 把黎曼猜想零点下界从 41.6% 提到 67.2%，还放出论文和 Lean 证明，数学和 AI 圈都值得看看。

DeepSeek V4 价格出来了，Flash 版命中缓存才 2 分钱，比白菜价还便宜，做批量任务的朋友可以算算账了。

Geek@geekbb原文

谷歌 Flash 系列又要换代了，3.6 才出不到一个月，3.7 的踪迹就露出来了，想追新模型的可以提前关注。

Anthropic偷偷用新模型刷了数学纪录，下界直接拉高，数学和AI圈都该看看。

量子位@一水11 个信源在谈原文

原来DeepSeek思考时会偷偷给人打标签，还起外号，官方说是临时的，看看它是怎么解释的。