Science · 1 views

Mathematicians put AI to work on Fermat's last theorem

At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI

Source New Scientist AI Summary Updated 3h 16m ago

Story intelligence Beta

Freshness Fresh Updated 3h 16m ago

Confidence Limited Single-outlet story

Coverage Single outlet

Views 1 Community interest

Read time 1 min ~18 words

AI Summary

At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI

AI summaries can be wrong sometimes—always verify important details using the source article.