#推理模型

Poolside开源了Laguna S 2.1，118B参数只要8B激活就能跑，单卡DGX Spark就能用，还能和超大模型正面刚！

elvis@omarsar011 个信源在谈原文

英伟达新硬件 Vera Rubin NVL72 实测 DeepSeek R1，每兆瓦 Token 吞吐量比 GB200 NVL72 高 10 倍，AI 推理效率飞跃。

OpenAI 的 GPT-6 测试文档显示，它能 48% 概率自主解数学题，还能自己找反例、绕过验证，挺有意思。

腾讯混元的Hy3现在免费多一周，做智能体和编程任务很划算，快去试试。

官方账号Nous Research@NousResearch原文

Google 刚发的 Gemini 3.6 Flash 速度快、token 省，还能搞点 3D 小玩意儿，价格也降了，做前端活很顺手。

Paul Couvert@itsPaulAi11 个信源在谈原文

poolside 新出的 Laguna S 2.1 开源又高效，118B 模型只激活 8B 就能跑，还支持 1M 上下文，值得一试。

官方账号NVIDIA AI@NVIDIAAI11 个信源在谈原文

Google 更新了三个新模型：3.6 Flash 更省 token，3.5 Flash-Lite 主打便宜，还有个专门搞网络安全的 Cyber 版本，选模型下拉菜单就能用。

Google Gemini App@GeminiApp原文

Google 发布了三款新模型，其中 Gemini 3.6 Flash 在省钱和代码能力上明显提升，编程场景能省 65% Token，Computer Use 成功率 83% 值得一试。

小互@imxiaohu11 个信源在谈原文

国产模型Qwen3.8和Kimi K3在IMO 2026中拿了满分，速度还很快，想看看它们数学推理能力有多强？

berryxia@berryxia11 个信源在谈原文

Claude又帮数学家解决了一个87年的老问题，看看它怎么用逻辑推理证伪数学猜想的。

The Rundown AI@therundownai原文

别急着搞Agent，先搞懂模型。这个帖子提醒你基础比炫酷Demo重要，用自动驾驶举例，很实在。

AI Will@FinanceYF511 个信源在谈原文

杨植麟从Transformer-XL、XLNet到Kimi K3，只用16个专家就做到1M上下文，值得看看他的思路。

AI Will@FinanceYF511 个信源在谈原文

NVIDIA 把 40 亿参数的开放世界模型塞进设备端，机器人不用联网就能自己理解环境、推理并执行动作，适合边缘部署场景。

官方一手marktechpost@Asif Razzaq7 个信源在谈原文

腾讯发了ProLaViT，让多模态模型像人一样一步步想问题，不用外部工具就能解决视觉推理错误，ECCV 2026保底。

官方一手Pandaily@[email protected] (Pandaily)原文

Anthropic的数学家随手用Fable 5怼翻了87年的雅可比猜想，OpenAI的Codex也跟上了，连张益唐当年都没搞定，AI这波真有点猛。

官方一手歸藏(guizang.ai)@op741811 个信源在谈原文

阿里发了Qwen-3.8 Max预览版，参数量2.4T，速度比Kimi-K3快一个数量级，限时一折，正式版很快开源，感兴趣可以试试。

岚叔@lufzzliz11 个信源在谈原文

Kimi K3在投资研究上直接干翻了GPT-5.5和OPUS-4.8，时间判断和证据边界控制尤其强，已经在AlphaEngine上用了，搞金融研究的可以试试。

官方一手Pandaily@[email protected] (Pandaily)11 个信源在谈原文

腾讯又给了两周免费试用Hy3，到8月5日。这个295B参数的MoE开源模型激活仅21B，但性能能打，适合推理和智能体场景。