БЛОГ

Mar 19, 2024

Mathematicians plan computer proof of Fermat’s last theorem

Posted by in categories: computing, mathematics

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.

By Alex Wilkins

Comments are closed.