What\u2019s new in AI tools

Automated weekly roundup of release notes and changelogs across every AI tool we track. Currently indexing 105 updates.

This week \u2014 2026-W18

AI Tools This Week: 42 updates across 7 products

Read the full digest \u2192

All Features Fixes Improvements Pricing Security Deprecations major minor patch

Mistral AI \u00b7 Mar 16, 2026 feature major

Leanstral: Open-Source foundation for trustworthy vibe-coding

Mistral released Leanstral, the first open-source code agent built for the Lean 4 formal verification language.

Source \u2197 More from Mistral AI \u2192
Mistral AI \u00b7 Mar 16, 2026 feature major

Introducing Mistral Small 4

Mistral released Mistral Small 4, a new small-scale language model in their model lineup.

Source \u2197 More from Mistral AI \u2192
Figure AI \u00b7 Mar 9, 2026 feature minor

Helix 02 Living Room Tidy

Demonstration of Helix 02 AI model performing household cleaning tasks in a living room environment.

Source \u2197 More from Figure AI \u2192
Figure AI \u00b7 Mar 9, 2026 feature major

Helix 02 Living Room Tidy

Figure AI demonstrated Helix 02 performing autonomous tidying tasks in a living room environment. The showcase highlights full-body dexterity and generalist manipulation capabilities in an unstructured home setting.

Source \u2197 More from Figure AI \u2192
Glean \u00b7 Mar 1, 2026 feature major

March Drop 2026

Glean introduced a remote MCP server to ground ChatGPT and Claude in company context, and expanded the action space in Assistant and Agents with third-party tools via MCP.

Source \u2197 More from Glean \u2192