AlphaGeometry2 can solve Olympiad geometry problems at a superhuman level
- It has an 84% solve rate on IMO geometry problems from the past 25 years, up from 54% with the previous version.
- The system uses a combination of language models and symbolic reasoning to solve geometry problems.
- The language model is used to generate possible solutions, and the symbolic engine is used to check whether these solutions are correct.
- AlphaGeometry2 is also able to solve problems that are not constructive, meaning that they cannot be solved by simply following a set of steps. This is done by using a numerical optimization algorithm to find a possible solution.
Paper: https://arxiv.org/abs/2502.03544
- It has an 84% solve rate on IMO geometry problems from the past 25 years, up from 54% with the previous version.
- The system uses a combination of language models and symbolic reasoning to solve geometry problems.
- The language model is used to generate possible solutions, and the symbolic engine is used to check whether these solutions are correct.
- AlphaGeometry2 is also able to solve problems that are not constructive, meaning that they cannot be solved by simply following a set of steps. This is done by using a numerical optimization algorithm to find a possible solution.
Paper: https://arxiv.org/abs/2502.03544