+- www.chinaphonearena.com (https://www.chinaphonearena.com/forum)
+-- Forum: Off The Wall (https://www.chinaphonearena.com/forum/Forum-Off-The-Wall)
+--- Forum: Tech & Science (https://www.chinaphonearena.com/forum/Forum-Tech-Science)
+--- Thread: [Sci-Am] AI Matches the Abilities of the Best Math Olympians (/Thread-Sci-Am-AI-Matches-the-Abilities-of-the-Best-Math-Olympians)
[Sci-Am] AI Matches the Abilities of the Best Math Olympians - Scientific American - 2024-01-20
AI Matches the Abilities of the Best Math 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/article/ai-matches-the-abilities-of-the-best-math-olympians/