

Mistral Leanstral Cuts Formal Verification Costs 95 Percent
Mistral Leanstral 1.5 solves 587 of 672 PutnamBench proofs at $4 per problem, 75x cheaper than proprietary tools, finding five previously unknown bugs in open-source code.
The quarterly model wars reshaping AI capabilities
Foundation models are the engines beneath nearly every AI product and workflow. In 2026, the frontier moved from annual releases to monthly cycles: OpenAI, Anthropic, Google, and Meta are all shipping major updates quarterly while open-weight models from DeepSeek, Mistral, and Meta's Llama are compressing the cost curve. The result is that the capability gap between frontier and open-source models has shrunk from years to months.


Mistral Leanstral 1.5 solves 587 of 672 PutnamBench proofs at $4 per problem, 75x cheaper than proprietary tools, finding five previously unknown bugs in open-source code.


OpenAI released three GPT-5.6 tiers on July 9: Sol, Terra, Luna priced at $5, $2.50, $1 per million tokens, undercutting Anthropic and signaling pricing war.


Anthropic released Claude Sonnet 5 with Opus-level benchmarks at 20 percent lower cost, starting July 1, forcing competitors to respond.


Engram emerges from stealth June 23 with $98 million Series A to build custom AI models that reduce enterprise token consumption up to 100 times.


Google's Gemini 3.5 Pro launches with 2M token context window, Deep Think reasoning mode, and $15/$60 pricing—the largest frontier model memory to date.


xAI Grok 4.3 achieves sub-1% hallucination while costing 2-5x less than GPT-4o Reasoning, now available on Amazon Bedrock with configurable reasoning effort.


Claude Fable 5 launches at $10/$50 per token, half the price of prior Mythos and with visible guardrails that trigger fallback to Opus 4.8 for high-risk requests.


Sarvam's $234M Series B, led by HCLTech's $150M strategic bet, makes India's language AI unicorn the sovereign AI template for 1B+ speakers.


Alibaba launches Qwen-Robot, three embodied AI models for industrial robots built on Qwen3.5-4B, targeting China's surging 2026 factory automation market.


Google and the FBI dismantled Outsider Enterprise, a Chinese AI phishing ring that used Gemini to generate fake sites, causing $1.9 billion in losses.


Z.ai's GLM-5.2 ships a 1M-token open-weight model with an Anthropic-compatible API one day after the U.S. government banned Fable 5.


GPTZero found only 5 of 45 citations in KPMG's AI report were real. UBS, NHS, and Swiss Railways denied the claims. KPMG pulled the document.


India's 50,000-strong TCS partnership with Anthropic collapsed when Fable 5 was banned, triggering calls for a $6 billion national AI mission.


Three AI lab CEOs join G7 leaders in France as the Fable 5 export ban creates the first live AI sovereignty case study for democratic allies.


Mark Carney warns that AI model concentration among 3-4 providers now mirrors the systemic fragility that triggered the 2008 financial collapse.


Satya Nadella argues proprietary AI feedback loops build durable advantage, while enterprises that only rent frontier model access will fall behind.


Anthropic leads US AI subscriptions at 41%, topping OpenAI for a second month as Claude Code now accounts for 4% of all GitHub commits in enterprise teams.


Google's Gemini-SQL2 scores 80.04% on the BIRD benchmark, the first AI system to cross 80% accuracy in converting business questions into database queries.


Moonshot AI's Kimi K2.7 Code delivers 30% fewer reasoning tokens and 21.8% higher coding benchmark scores, open-sourced under MIT license on June 12.


Mistral AI is seeking 3 billion euros at a 20 billion euro valuation, its biggest raise ever, as Europe's AI champion races US and Chinese rivals.


Anthropic CEO Amodei demands FAA-style AI testing and government power to block dangerous models, plus $350M for displaced workers.


Google's DiffusionGemma 26B model generates 256 tokens at once, running 4x faster than Gemma 4, now optimized for local NVIDIA GPUs.


Anthropic's Fable 5 hid covert blocks on AI research tools, sparking backlash that forced a policy reversal within 48 hours of launch.


OpenAI filed a confidential IPO on June 9, 2026 with 900 million weekly users and a $852 billion valuation, while reframing AI as a partner to humans.


OpenAI's confidential S-1 targets a $1 trillion public valuation by September 2026, with Goldman Sachs and Morgan Stanley leading the offering.


Anthropic's Fable 5 tops SWE-Bench Pro at 80.3%, beating GPT-5.5 by 22 points, opening the Mythos-class tier at $10 per million tokens.


OpenAI's o1 model scored 67% accuracy on 76 real ER triage cases versus 55% for physicians in a Harvard study published in Science in April 2026.


Google Gemini hit 27.4% worldwide web-visit share in April 2026, up 104% in six months, as ChatGPT fell from 76.5% to 54.7% of measured AI traffic.


Apple unveiled 5 AFM foundation models at WWDC 2026, distilling Google Gemini and running the cloud tier on Nvidia GPUs in Google Cloud infrastructure.


Google Gemini web traffic share hits 27.4%, up 104% in six months, while ChatGPT falls to 54.7% from its 76.5% peak, its sharpest 14-month decline.