Get the latest Science News and Discoveries

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

None

Get the Android app