Theo Conjecture solves 35-year-old math problem, finds a term no one predicted
An AI system called Theo-Conjecture, developed by FirstPrinciples and used by mathematician Randy Davila, has solved a 35-year-old math problem posed by Paul Erdős and the Graffiti program in the 1980…