Google researchers have developed an artificial intelligence (AI) math system that can out-smart ... posed in the International Mathematical Olympiad (IMO). The average IMO gold-medal winners ...
The team found it was able to solve 4 of 6 problems listed in the IMO this past summer. For this new study ... Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2, arXiv ...