Tools
Mistral Releases Leanstral 1.5, an Open Model That Solved 587 of 672 Putnam Math Problems
Mistral's open Leanstral 1.5 model solved 587 of 672 Putnam math problems and is already finding real bugs in open-source code ...
Microsoft Brings MCP to Geospatial Workflows With Planetary Computer Pro Tools for VS Code
Microsoft's Planetary Computer Pro MCP Tools for VS Code bring 35+ geospatial tools into GitHub Copilot via natural-language prompts ...
5 Facts About AI Coding Agents from Comprehensive Benchmarking
AI coding agents are becoming more capable, but evaluating them is harder than it looks. Most benchmarks focus on a single dimension of agent capabilities; for instance, the popular SWE-Bench benchmark only ...
Broadcom Strengthens Case for Integrated VCF Platform
Broadcom today revealed it is adding a raft of additional capabilities to the optional portfolio of services it makes available on top of VMware Cloud Foundation (VCF), including a module that makes ...

