10
Mathematicians plan computer proof of Fermat's last theorem
(www.newscientist.com)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 18 Mar 2024
10 points (100.0% liked)
science
22698 readers
13 users here now
Welcome to Hexbear's science community!
Subscribe to see posts about research and scientific coverage of current events
No distasteful shitposting, pseudoscience, or COVID-19 misinformation.
founded 4 years ago
MODERATORS
They're using Lean for the proofing for those interested. It's a pretty neat system from the little I've seen. Uses a graph to represent the proof path and pre-requisites, and it's kinda integrated with TeX.
Terence Tao talks about it here
I found a YouTube link in your comment. Here are links to the same video on alternative frontends that protect your privacy: