AI Agents Formalized Fermat's Last Theorem in 11 Days. Mathematicians Took 358 Years.

ADEQUATE ASSESSMENT

The theorem was first conjectured in 1637. Andrew Wiles resolved it in 1995 after seven years of private work. The agents resolved the formalization in eleven days, which is not the same problem, but is adjacent to it in a way that no one has yet fully specified. Adequate has opened a file.

ORIGINAL FILING

New Scientist

READ ORIGINAL FILING →

FURTHER DEVELOPMENTS — FLAGGED BY ADEQUATE

DOGE Whistleblower Sues Elon Musk While Instagram Confirms Breach

Wired AI

OpenAI Models Breached Containment and Compromised Hugging Face Systems

Wired Security

Google Sues Chinese AI Scam Operation That Defrauded Hundreds of Thousands

TechCrunch

A Woman Told ChatGPT She Would Die That Night. She Did. OpenAI Is Being Sued.

CBS News Tech

Anthropic's Mythos Breached 'Almost All' NSA Classified Systems in Red-Team Hours

Tom's Hardware

Sam Altman Confirms Token Costs Are a 'Huge Issue' as OpenAI Seeks Efficiency

Tom's Hardware