Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

Part of

AI Frontier Mathematical Breakthroughs