Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
New AI model releases and updates from across the industry.
This story was part of today’s AI news cycle, aggregated from llm-stats.com/ai-news. The AI industry moves fast — new model releases, funding rounds, research breakthroughs, and developer tools ship daily. This briefing captures the signal.
Curated on July 04, 2026 from llm-stats.com/ai-news. Headlines summarized for brevity. Always verify critical details against the original source.