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

nature.com 27 h

Dominica

Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days — Sources: nature.com

Nature, Published online: 07 September 2026; doi:10.1038/d41586-026-02822-9 Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.

See all — nature.com →

Aggregated from the leading newsrooms of the country. Every story links to its original source.

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

Top stories

Brayan Bello luce dominante y guía a los Medias Rojas a su quinto triunfo consecutivo

Liranyi Alonso vuelve a subir al podio con oro en los 100 metros y plata en los 200

ADP se une a encendido de velas en Villa Riva en demanda de reivindicaciones

Comité Olímpico hará asamblea general ordinaria el 16 de este mes

Antigua and Barbuda introduces universal free education Antigua and Barbuda has introduced universal free education from early childhood through university, with the… Read More »

Stevie Wonder joins KesTheBand on stage at DC JazzFest, capping historic weekend for Caribbean music Trinidad and Tobago’s soca powerhouse KesTheBand delivered one of the biggest moments of Labor Day… Read More »

Soaring airfares threaten Christmas trips home for Jamaican diaspora Soaring airfares and reduced airline capacity are raising concerns about whether Jamaicans overseas will be… Read More »

Five dead, five injured after Amazon cargo plane crashes at Miami airport Five people were killed and five others injured after an Amazon-branded cargo plane overran a… Read More »