AI system Theo Conjecture solves 35-year-old math problem with unpredicted term

An AI system called Theo Conjecture has solved a mathematical conjecture that had remained open for 35 years. In the process, it identified a previously unpredicted term that no one had anticipated. The findings were published by First Principles.