Science

Mathematicians Use AI to Tackle Fermat’s Last Theorem

Updated 2026-07-12 22:40 UTC 1 source Positive

Mathematicians have made rapid progress on formalising Fermat's last theorem using artificial intelligence, marking a significant breakthrough in the field of mathematics.

Coverage timeline — 1 article

New Scientist

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

2026-07-10 11:00 UTC