https://www.livescience.com/technology/artificial-intelligence/math-olympics-has-a-new-contender-googles-ai-now-better-than-human-gold-medalists-at-solving-geometry-problems

Google's second generation of its AI mathematics system combines a language model with a symbolic engine to solve complex geometry problems better than International Mathematical Olympiad (IMO) gold medalists.

originally posted at https://stacker.news/items/896138