2024-01-20, 19:49
AI Matches the Abilities of the Best Math Olympians
https://www.scientificamerican.com/artic...olympians/
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
https://www.scientificamerican.com/artic...olympians/