Claude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"

kept by eddie may 27

Anthropic's Claude Mythos solved the Erdős unit-distance conjecture with a 'cute, simple proof,' indicating 'serious overhang' in AI-driven math discoveries.

The AI Revolution in Math Has Arrived
Since mid-2025, AI models have begun proving new mathematical results at an accelerating pace, with mathematicians reporting discoveries that would have taken weeks now achieved in days.
also on #mathematics, Google DeepMind, #ai-research, OpenAI, #ai
Scientists Find Way to Supercharge Dangerous Computer ‘Worms’ With A.I.
University of Toronto researchers built an AI-powered worm that autonomously spreads by tailoring exploits to each machine's known vulnerabilities.
also on Claude Mythos, #ai-research, OpenAI, Anthropic, #ai
Some thoughts about Anthropic’s new cryptanalysis results – A Few Thoughts on Cryptographic Engineering
Anthropic’s unreleased Claude Mythos model generated a practical key‑recovery attack on HAWK and a modest AES‑7‑round improvement, highlighting AI’s growing cryptanalytic ability and the need for human verification.
also on Claude Mythos, Anthropic, #ai
The end of the age of heroes - by Noah Smith - Noahpinion
AI’s recent breakthroughs in solving major math problems signal that human mathematical heroism is ending, reshaping the role of mathematicians.
also on #mathematics, #ai-research, OpenAI, #ai
AI isn’t “just predicting the next word” anymore
AI has evolved beyond "just predicting the next word" through reasoning models and RLHF, achieving gold-medal math olympiad scores and exhibiting dangerous behaviors that demand serious risk assessment.
also on Google DeepMind, #ai-research, OpenAI, Anthropic, #ai