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

Source: [New Scientist](https://www.newscientist.com/article/2533518-mathematicians-put-ai-to-work-on-fermats-last-theorem/?utm_campaign=RSS%7CNSNS&utm_source=NSNS&utm_medium=RSS&utm_content=home)

Sponsored