Mathematicians plan computer proof of Fermat's last theorem (www.newscientist.com)

submitted 3 months ago by EmmaGoldman@hexbear.net to c/science@hexbear.net

2 comments fedilink hide all child comments

Gotta double check.

top 2 comments

sorted by: hot top controversial new old

[-] QuillcrestFalconer@hexbear.net 3 points 3 months ago

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

[-] HexReplyBot@hexbear.net 1 points 3 months ago

I found a YouTube link in your comment. Here are links to the same video on alternative frontends that protect your privacy:

this post was submitted on 18 Mar 2024

10 points (100.0% liked)

science

22625 readers

22 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 3 years ago

MODERATORS

Jadzia_Dax@hexbear.net

gaycomputeruser@hexbear.net

ZoomeristLeninist@hexbear.net

thelastaxolotl@hexbear.net

Wake@hexbear.net