AlphaProof solves 4/6 IMO problems at silver-medal level
Quick Answer
AlphaProof has successfully addressed 4 out of 6 IMO problems at a silver-medal level, showcasing advancements in AI capabilities.
Quick Take
AlphaProof has successfully addressed 4 out of 6 IMO problems at a silver-medal level, showcasing advancements in AI capabilities. Key projects include Gemini 3.1 models enhancing speech and robotics, and partnerships aimed at accelerating AI transformation across various sectors.
Key Points
- Gemini 3.1 models improve expressive AI speech and robotics capabilities.
- AlphaProof's solutions demonstrate significant advancements in AI problem-solving.
- Partnerships with industry leaders aim to accelerate AI transformation.
- Research includes innovative healthcare applications and resilient AI training methods.
- Projects like AlphaEvolve showcase AI's impact across diverse fields.
📖 Reader Mode
~2 min readDiscover our latest AI breakthroughs, projects, and updates
Gemma 4: Byte for byte, the most capable open models
Models
Reimagining the mouse pointer for the AI era
Research
AlphaEvolve: How our Gemini-powered coding agent is scaling impact across fields
Science
Enabling a new model for healthcare with AI co-clinician
Science
Announcing our partnership with the Republic of Korea
Responsibility & Safety
Decoupled DiLoCo: A new frontier for resilient, distributed AI training
Research
Partnering with industry leaders to accelerate AI transformation
Responsibility & Safety
Gemini 3.1 Flash TTS: the next generation of expressive AI speech
Models
Gemini Robotics-ER 1.6: Powering real-world robotics tasks through enhanced embodied reasoning
Models
Gemini 3.1 Flash Live: Making audio AI more natural and reliable
Models
Protecting people from harmful manipulation
Responsibility & Safety
Lyria 3 Pro: Create longer tracks in more
Models
Measuring progress toward AGI: A cognitive framework
Research
From games to biology and beyond: 10 years of AlphaGo’s impact
Research
Gemini 3.1 Flash-Lite: Built for intelligence at scale
Models
Nano Banana 2: Combining Pro capabilities with lightning-fast speed
Models
Gemini 3.1 Pro: A smarter model for your most complex tasks
Models
A new way to express yourself: Gemini can now create music
Models
Accelerating discovery in India through AI-powered science and education
Responsibility & Safety
Gemini 3 Deep Think: Advancing science, research and engineering
Models
Accelerating Mathematical and Scientific Discovery with Gemini Deep Think
Research
Project Genie: Experimenting with infinite, interactive worlds
Models
D4RT: Teaching AI to see the world in four dimensions
Research
Veo 3.1 Ingredients to Video: More consistency, creativity and control
Models
Google's year in review: 8 areas with research breakthroughs in 2025
— Originally published at deepmind.google
Want this in your inbox every morning?
Daily brief at your local 8am — bilingual EN/中文, free.
More from Google DeepMind
See more →
Introducing Gemma 4 12B: a unified, encoder-free
Google DeepMind has introduced Gemma 4 12B, a unified, encoder-free multimodal model designed to enhance performance across various tasks. This model aims to streamline processes in AI applications by eliminating the need for traditional encoders, potentially improving efficiency and reducing costs for developers and researchers in the field.
