AI system 'Theo Conjecture' solves 35-year-old math conjecture, finds a term no one predicted
Summary
An AI-driven conjecturing system, Theo Conjecture, solves a long-standing math problem and uncovers an unexpected term, illustrating how human guidance and machine reasoning can collaborate in mathematical discovery. The piece traces Graffiti and Erdős to modern AI-assisted proof workflows, culminating in a two-term asymptotic that links graph residue to primes. It showcases how degree-based graph insights can reflect prime counts and the growing role of AI in research.