#推理模型

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@contact@pandaily.com (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@contact@pandaily.com (Pandaily)11 个信源在谈原文

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

上海AI Lab搞了个新招，不换模型就能把Harness性能翻倍，实用又省钱。

量子位@Jay原文

Kimi K3的思维链居然有32页长，还不停绕圈，看看它怎么解诗题

Ethan Mollick@emollick11 个信源在谈原文

SpaceXAI 的 Grok 4.5 用 $0.31 就干到一流水平，比 Claude 便宜 9 倍，token 还省 6 倍，省钱党可以关注。

AI Will@FinanceYF5原文

Kimi K3 回应中文请求时，思维链几乎全英文，挺有意思的观察，适合好奇模型内部机制的朋友。

Ethan Mollick@emollick11 个信源在谈原文

xAI 的 Grok 4.6 参数飙升到 2 万亿，下周就练完了，据说能超 Kimi 3，看看它和 GPT 比到底咋样。

Kimi K3定价$3-15/M token，比美国模型便宜很多，看看Moonshot怎么用低价倒逼市场。

官方一手pandaily@contact@pandaily.com (Pandaily)11 个信源在谈原文

OpenAI刚发了GPT-5.6 Sol，号称一万人说好，去那个链接看看它到底强在哪。

官方账号OpenAI@OpenAI11 个信源在谈原文