Mistral Mathstral Large 2.1 reaches SOTA on advanced symbolic math and proof verification
[AI-NEWS]
Date: 2026-02-28
Content: Mathstral Large 2.1 (open-weight) sets new records on Lean4 theorem proving and symbolic integration benchmarks, solving 87% of university-level differential equations with step-by-step proofs verifiable in formal systems.
Keywords: symbolic math, theorem proving, Mathstral Large 2.1, differential equations, formal verification
new
Meta Launches New Round of 10% Layoffs, Transfers 7,000 Employees to AI Projects
Elon Musk Loses Lawsuit Against OpenAI!
Google I/O 2026 Unveils Gemini 3.5 Series, Omni Video Generation and Spark Agent
Baidu Releases ERNIE 5.1: Pre-Training Cost Only 6% of Industry, No.1 in China Search
Kuaishou’s Kling AI Video Spinoff Planned at ~$20B Valuation
OpenAI Launches $4B Deployment Company & Acquires Tomoro for Enterprise AI
Moonshot AI's Kimi Secures $2B Funding, Valuation Exceeds $20B Post‑Investment
Musk Explains xAI Shutdown: Merged into SpaceX, Renamed SpaceXAI, Focused on Space Compute
OpenAI Launches GPT-5.5 Instant with 52.5% Lower Hallucination Rate
Microsoft and OpenAI Revised Cooperation, Ending Exclusive Tie