4 votes Formalizing Fermat’s Last Theorem - How it’s going Posted December 12 by skybrian Tags: mathematics, proofs.lean, proofs.machine assisted, pierre de fermat, fermats last theorem, progress, wordpress.xena, author.kevin buzzard https://xenaproject.wordpress.com/2024/12/11/fermats-last-theorem-how-its-going/ Link information This data is scraped automatically and may be incorrect. Authors View all posts by xenaproject → Published Dec 11 2024 Word count 1574 words 1 comment Collapse replies Expand all Comments sorted by most votes newest first order posted relevance OK skybrian (OP) December 12 Link Proofs sometimes have bugs. They’re often harmless, but formalizing the proof will find the bugs. Proofs sometimes have bugs. They’re often harmless, but formalizing the proof will find the bugs. 3 votes
skybrian (OP) December 12 Link Proofs sometimes have bugs. They’re often harmless, but formalizing the proof will find the bugs. Proofs sometimes have bugs. They’re often harmless, but formalizing the proof will find the bugs. 3 votes
Proofs sometimes have bugs. They’re often harmless, but formalizing the proof will find the bugs.