Geometry also offered a unique challenge as being one of the International Math Olympiad fields with the fewest number of proof examples written in a computer-friendly format (e.g. without pictures). While Heule agrees that AlphaGeometry is “really cool work,” he admits that designing a geo...
If you’re looking to rub elbows with the who’s who of mathematics before they hit the big time, look no further than the International Math Olympiad (IMO). Each year since 1959, high school math students from more than 100 countries have competed to solve a wide variety of math problem...