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
Mathematicians hope to develop a computerised proof of Fermat’s last theorem, an infamous statement about numbers that has beguiled them for centuries, in an ambitious, multi-year project that aims to demonstrate the potential of computer-assisted mathematical proofs.
Many mathematicians hope that this work of checking, and eventually writing, proofs can be sped up by translating them into a computer-readable language. ThisBut formalising modern proofs can itself be tricky and time-consuming, as much of the modern maths they rely on is yet to be made machine-readable. For this reason, formalising Fermat’s last theorem has long been considered far out of reach.
The proof itself will loosely follow Wiles’s, with slight modifications. A publicly available blueprint will be available online once the project is live, in April, so that anyone from Lean’s fast-growing community can contribute to formalising sections of the proof.
United States Latest News, United States Headlines
Similar News:You can also read news stories similar to this one that we have collected from other news sources.
Junkyard Gem: 1993 Volvo 240A 1993 Volvo 244 sedan, final year for the Volvo 240, found in a Denver-area wrecking yard.
Read more »
Junkyard Gem: 1993 Volvo 240A 1993 Volvo 244 sedan, final year for the Volvo 240, found in a Denver-area wrecking yard.
Read more »
Mayor Eric Adams sued by woman who says he sexually assaulted her in 1993The mayor had previously said he did not remember ever meeting his accuser and his team has denied 'these outrageous allegations.'
Read more »
Woman sues NYC Mayor Eric Adams alleging 1993 sex assaultAdam Reiss is a reporter and producer for NBC and MSNBC.
Read more »
Lawsuit details 1993 sexual assault allegation against New York mayorThe complaint filed Monday accuses Eric Adams of sexually assaulting a woman, who also worked for the city in 1993, after she asked him for help getting a promotion.
Read more »
Nippon Steel defends U.S. Steel purchase after Biden opposes Japanese takeoverArata Yamamoto has been a NBC News producer in Tokyo since 1993.
Read more »