Mathematics
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
News
Advertisement
At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI
Some seemingly simple sequences of multiplication and addition grow so quickly that they question the very foundations of mathematics. In doing so, they demand a whole new level of logic