AI 每日快讯
AI 产品、模型、开源工具和官方动态的时间流。保留历史记录，按分类、日期和标签继续筛选。
原文摘要：Mistral AI released Leanstral 1.5, a free Apache-2.0 code agent model for Lean 4. It saturates miniF2F and solves 587 of 672 PutnamBench problems. The 119B mixture-of-experts activ 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Microsoft reportedly plans to merge its consumer and enterprise Copilot apps into a single app in August. Rarely used features like Copilot Podcasts are getting cut, and n 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Anthropic is trying to block Chinese companies like ByteDance and Ant Financial from accessing Claude Code, but they're getting around the restrictions through VPNs and ov 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Epoch AI reports a sharp rise in security vulnerability reports. In June 2026, 21 organizations reported about 1,500 high-severity and critical CVEs, more than 3.5 times t 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：In a study covering seven 评测, the UK's AI Security Institute shows that standard AI 评测 systematically underestimate agent capabilities by capping the comp 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Mark Zuckerberg admitted to weaknesses in the company's restructuring during an internal town hall. The AI agents Meta reorganized around are progressing slower than plann 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：The hedge fund Bridgewater and Thinking Machines Lab report that a finely tuned open-weight model outperforms the most powerful AI models in the 评测 of financial do 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Tesla caps employee AI spending at $200 per week, according to an internal memo reported by The Information. The article Tesla caps employee AI spending at $200 per week 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：The speakers discuss Agent RFT, OpenAI’s platform for fine-tuning reasoning models via real-time tool interactions and custom reward signals. They explain how reinforcement learnin 来源：InfoQ AI ML Data Engineering。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Kuaishou has raised about $2 billion from investors for its AI video division, Kling. The article Chinese AI video maker Kling raises $2 billion as it gears up for Hong Ko 来源：The Decoder。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：WebBrain is a free, MIT-licensed AI browser agent for Chrome and Firefox. It reads pages, extracts data, and automates multi-step tasks through Ask and Act modes. Run it on local m 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：Interfaze open-sourced diffusion-gemma-asr-small, a multilingual ASR model that transcribes via diffusion, not autoregression. It adds audio to Google's frozen DiffusionGemma using 来源：MarkTechPost。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。