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

Hacker News (AI)hace 2 mesesen

2mes

Antigüedad

5

Puntos

1

Comentarios

Publicado: 8 sept 2026, 0:07 UTC
Recolectado: 8 sept 2026, 1:02 UTC

Lee el artículo completo en news.ycombinator.com

overfeed.news indexa y enlaza. Publicamos un extracto breve; el artículo completo sigue en Hacker News (AI).

Más de Hacker News (AI)

Inicia sesión para seguir esta fuente

Hacker News (AI)hace 2 horas

NYC Council passes ban on 'surveillance pricing'

en▲ 5

Hacker News (AI)hace 3 horas

Claude designed FPGA scaler board for 6th-gen consoles

en▲ 5

Hacker News (AI)hace 3 horas

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

en▲ 5

Hacker News (AI)hace 4 horas

Adding RSA Support to swift-nio-ssh

en▲ 5

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