Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
Mistral AI released Leanstral 1.5, a Lean 4 code agent with 119B parameters that activates 6.5B per token. The model solved 587 of 672 PutnamBench problems and is available under Apache-2.0 license.
Read full story →Cerebras Runs OpenAI’s GPT-5.6 Sol at 750 Tokens Per Second in New Ultrafast Tier
Cerebras announced it is running OpenAI's GPT-5.6 Sol model at 750 output tokens per second on a new Ultrafast service tier, delivering up to 14 times faster processing than Standard. The Ultrafast tier launched as a limited preview in the OpenAI API for select customers on August 13, 2026.
Google’s Gemini 3.7 Flash targets coding and agents with a 50% introductory price cut
Google released Gemini 3.7 Flash with a focus on coding and agentic workflows at half price through end of 2026, with input tokens costing $0.75 per million and output tokens $3.75 per million. The model arrives three weeks after Gemini 3.6 Flash, driven by developer feedback and algorithmic improvements aimed at reducing retries and manual oversight.
DeepSeek Harness launches as open source rival to Claude Code, alongside V4-Pro on API with higher prices
DeepSeek launched DeepSeek-V4-Pro, an updated flagship model for agentic workloads, and DeepSeek Harness v0.1, an open-source agent harness available on GitHub under MIT license. API pricing shifts to peak and off-peak rates beginning August 16 at 16:00 UTC, with substantially higher prices than current rates.