This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Quanta Magazine
quantamagazine.org
did:plc:vfktz6qe6vy7serr3wqutpzt
On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model had come up with a counterexample to Paul Erdős’ “unit distance” problem, making it the first historically significant proof to come from AI. https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/
2026-08-05T20:04:22.964Z