newscientist.com

Mathematicians put AI to work on Fermat's last theorem | New Scientist

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

This site doesn’t allow embedding inside another page — open it in a new tab. Your Weird rating still works from the top bar.