News for hackers. Stuff that matters.

A comment on The Mathocalypse. Parent comment

Re:The Mathocalypse by bkummel on Thursday October 08, 2026 @10:33AM (#50006302)
What I don’t get: if someone that’s apparently not the average mathematician has so much trouble reading and understanding the paper, then why is everyone so sure that GPT really delivered a genuine proof? This is an honest question; I really don’t understand that.
[ Parent | on HN ]
Re:The Mathocalypse by lackoftactics on Thursday October 08, 2026 @11:15AM (#50006834)
they are Lean certified, so in theory they should work. It's automated programming language for proving math, but it doesn't mean that you can't make mistakes there, although way less likely
[ Parent | on HN ]
Re:The Mathocalypse by omnicognate on Thursday October 08, 2026 @12:04PM (#50007526)
Most of them do not have Lean proofs, and 3 of those that don't have already been found incorrect.
[ Parent | on HN ]