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