10
Mathematicians plan computer proof of Fermat's last theorem
(www.newscientist.com)
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.
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: