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

An AI system called Theo Conjecture solved a 35-year-old mathematical conjecture about prime numbers and graph theory by proving that the largest independent set in a "common-divisor graph" equals the number of primes up to n. The system not only confirmed the prediction made by mathematician Paul Erdős decades ago but also discovered an unexpected additional term that no human had previously identified, demonstrating the potential of AI-human collaboration in mathematical research.