The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone ...