1
AI solves International Math Olympiad problems at silver medal level
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics
Google DeepMind
Build AI responsibly to benefit humanity
- Popular posts
- 31
- Total points
- 17,078
- HN comments
- 7,667
- Rank
- #40 company
Visit deepmind.google → On Hacker News Nov 2023 – Oct 2026
AI & Machine Learning 31Games & Graphics 10Science & Space 5Hardware & Electronics 5Math & Algorithms 4Software Engineering 3
2
AlphaGeometry: An Olympiad-level AI system for geometry
Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics
3
Gemini with Deep Think achieves gold-medal standard at the IMO
The International Mathematical Olympiad (“IMO”) is the world’s most prestigious competition for young mathematicians, and has been held annually since 1959. Each country taking part is represented by six elite, pre-university mathematicians who compete to solve six exceptionally difficult problems in algebra…
4
FunSearch: Making new discoveries in mathematical sciences using LLMs
We introduce FunSearch, a method for searching for “functions” written in computer code, and find new solutions in mathematics and computer science. FunSearch works by pairing a pre-trained LLM, whose goal is to provide creative solutions in the form of computer code, with an automated “evaluator”, which guards…