‘Math Olympics’ has a new contender — Google’s 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.