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?