Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days

Hacker News (AI)2 months ago

2mo

Age

5

Points

1

Comments

Published: Sep 8, 2026, 12:07 AM UTC
Collected: Sep 8, 2026, 1:02 AM UTC

Read the full article at news.ycombinator.com

overfeed.news indexes and links. We publish a short excerpt — the full article stays at Hacker News (AI).

More from Hacker News (AI)

Log in to follow this source

Hacker News (AI)2 hours ago

NYC Council passes ban on 'surveillance pricing'

▲ 5

Hacker News (AI)3 hours ago

Claude designed FPGA scaler board for 6th-gen consoles

▲ 5

Hacker News (AI)3 hours ago

I asked Claude Fable 5.2 to turn my site into a 90s Silicon Graphics workstation

▲ 5

Hacker News (AI)4 hours ago

Adding RSA Support to swift-nio-ssh

▲ 5

Anthropic AI 'formalizes' proof of Fermat's last theorem in…