Mathematicians plan computer proof of Fermat's last theorem

Fermat's last theorem puzzled mathematicians for centuries until it was finally proven in 1993. Now, researchers want to create a version of the proof that can be formally checked by a computer for any errors in logic

SINSIN
Mar 18, 2024 - 16:00
 0  6
Mathematicians plan computer proof of Fermat's last theorem
Fermat's last theorem puzzled mathematicians for centuries until it was finally proven in 1993. Now, researchers want to create a version of the proof that can be formally checked by a computer for any errors in logic

What's Your Reaction?

like

dislike

love

funny

angry

sad

wow

SIN ScienceX Information Network (SIN) | ScienceX Innovations