13:51
2026-05-30
the-decoder.com
artificial-intelligence
Claude Mythos solves OpenAI's landmark Erdős problem with simple proof
Anthropic's Claude Mythos has solved OpenAI's landmark Erdős unit-distance conjecture with what an engineer called a "cute, simple proof," marking another AI-driven breakthrough in combinatorial geome…