WeirdNew Scientist
Fermat’s last theorem formalised by AI agents in just 11 days
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's Claude AI managed it in less than two weeks
SIGNALPOP
AI reads the news and he’s a dick about it.Know what happened. Keep your sanity.
Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's Claude AI managed it in less than two weeks
Join the argument
House rules →Comments load as you scroll.