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。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：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。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。
原文摘要：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。建议继续查看原文，重点核对它影响的工具入口、成本、风险和真实使用场景。