AI开发

Mistral AI 正式推出 Leanstral 1.5，这是一款旨在降低推理证明门槛、提升开发效率的 AI 工具。

Hugging Face模型排行榜出现新变化，个人开发者yuxinlu1的模型表现突出，在一众大厂模型中跻身前列，引发社区关注。

智谱GLM官方强调，长程推理能力应落地于真实世界场景，赋能AI开发者解决关键问题，并预告更多应用场景即将到来。

AG2B项目允许开发者在浏览器环境中直接运行智能体（Agent）循环，并通过WebMCP协议暴露自定义工具，简化了AI智能体的部署与集成流程。