Tag
An AI system called Theo Conjecture, leveraging a large language model, solved a 35-year-old graph theory problem originally posed by mathematician Paul Erdős, discovering an unexpected term. The system works by proposing, testing, and revising mathematical ideas in a loop.