May 3, 2024

AndronETalksNews

AndronETalksNews

Machines Are on the Verge of Tackling Fermat’s Last Theorem—a Proof That Once Defied Them

Popular Mechanics

BY CAROLINE DELBERTPUBLISHED: MAR 27, 2024 7:30 AM EST

Some people count down to new video games or Beyonce albums. Mathematicians can now also count down to April, when mathematician and programmer Kevin Buzzard will release and begin updating his newly-announced plans for a computer coded proof of Fermat’s Last Theorem. He has received a grant for this research, which is expected to take years and will likely be one of the most complex proofs to be computerized in this way.

Read more…