DeepMind AlphaGeometry 2 Solves 92% of IMO Geometry Problems Autonomously
[AI-NEWS-ENTRY]
Date: 2026-02-20
Title: DeepMind AlphaGeometry 2 Solves 92% of IMO Geometry Problems Autonomously
Content: AlphaGeometry 2 reaches 92% solve rate on past 25 years of International Mathematical Olympiad geometry problems (up from 83% in v1), using a hybrid symbolic + neural approach with stronger diagram understanding and proof synthesis. The system now solves problems end-to-end without human-written lemmas in most cases.
Keywords: automated theorem proving, geometry solving, AlphaGeometry 2, IMO problems, symbolic-neural hybrid, mathematical reasoning
new
Mistral Devstral: Specialized 24B Model Optimized for Developer Tool-Chain Integration
Meta Llama 4 Maverick: First Open Model to Reach Human-Parity on SWE-Bench Verified
xAI Grok-4.1 Adds Native Video Understanding and Temporal Action Localization
DeepMind AlphaGeometry 2 Solves 92% of IMO Geometry Problems Autonomously
OpenAI o4-proto-2 Demonstrates Self-Evolving Prompt Engineering Loop
Mistral Codestral-Mamba: State-Space Model Achieves SOTA Efficiency on Long-Code Completion
OpenAI o4-proto: First Model to Demonstrate Self-Improving Code Synthesis Loop Over Multiple Iterations
Google DeepMind AlphaEvolve: Evolutionary Algorithm Guided by Gemini for Protein Engineering
xAI Grok-4 Early Preview: Real-Time Multi-Modal World Model with Physics-Aware Forecasting
Anthropic Claude 4.3 Sonnet Introduces Native Hierarchical Task Decomposition for Long-Horizon Agents