alt Hacker NewsIt sounds like he hasn't verified the results of a problem that he has personally worked on, so how many of these problems have actually been verified?
Replies
gpm • today at 7:17 PM
I mean, they're verified in the sense that the lean proof checks out... and presumably OpenAI read them.
➕ show 2 replies
From what I understand all of them have Lean proofs/certificates thus are basically 100% proven without a doubt.