Start your day with intelligence. Get The OODA Daily Pulse.
For decades, elite mathematicians have struggled to solve a collection of thorny problems posed by a 20th-century academic named Paul Erdos. This month, an artificial intelligence start-up called Harmonic jumped into the mix. Harmonic said its A.I. technology, Aristotle, had solved an “Erdos problem” with help from a collaborator: OpenAI’s latest technology, GPT-5.2 Pro. For many computer scientists and mathematicians, solving an Erdos problem showed that artificial intelligence had reached a point where it was capable of doing legitimate academic research. But some experts were quick to point out that the solution generated by A.I. was not very different from earlier work done by human mathematicians.