this post was submitted on 18 Mar 2024

10 points (100.0% liked)

Science

22848 readers

1 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

Jadzia_Dax@hexbear.net

gaycomputeruser@hexbear.net

ZoomeristLeninist@hexbear.net

thelastaxolotl@hexbear.net

Wake@hexbear.net

10

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

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

2 comments fedilink hide all child comments

Gotta double check.

you are viewing a single comment's thread
view the rest of the comments

[–] QuillcrestFalconer@hexbear.net 3 points 7 months ago (1 children)

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 7 months ago

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