AI cracks long-standing Erdős puzzle with human-backed validation
OpenAI says its internal AI model autonomously solved the planar unit distance problem—an Erdős puzzle from 1946—finding arrangements that exceed the previous human upper bound; mathematicians reviewed the AI’s proof and published a companion paper detailing the approach and refinements, underscoring AI as a tool to assist mathematicians rather than replace them.