Until now computers have failed to solve mathematical problems.
But the AI program AlphaGeometry has succeeded in finding proofs for dozens of theorems from the International Mathematical Olympiad.
The International Mathematical Olympiad (IMO) is probably the most prestigious competition for preuniversity students. Every year students from all over the world compete for its coveted bronze, silver and gold medals (112 countries took part in 2023). In a new twist, AI programs could soon be competing with them, too.
.....