Hacker News Reader

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.

View on HN

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

Most of them do not have Lean proofs, and 3 of those that don't have already been found incorrect.

Reply on news.ycombinator.com