AI Briefing#erdos-problem
The latest AI and developer news about #erdos-problem, with the original source and a short summary.
The latest AI and developer news about #erdos-problem, with the original source and a short summary.
Anthropic's **Claude Mythos** solved the **Erdős** math problem that OpenAI had solved, using a simple and clear proof method.
An OpenAI model disproved an 80-year-old conjecture in discrete geometry.
GPT-5.4 Pro solved Erdős's primitive set problem with a new proof.