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 it matters.
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.