Comment by amazingamazing
2 months ago
Good post, it perfectly captures the problem with AI. Here we have a claim that the double cover conjecture has a proof. Verified by… no one per the link.
Now imagine this proof is wrong. How would you know? Ok, think about the process in which you determine the correctness - why not do that initially?
And there it is. The problem laid bare. Ironically it reduces to the P and NP one.
You seem to be suggesting that it is just as hard to understand an existing proof to a problem, than to solve it yourself? I don't follow your argument at all, what are you trying to say?
Most likely they wrote the proof in Lean and had it verified by a computer
You believe this based off what?
Based on these people not being idiots or charlatans?
Why wouldn't they verify it, knowing that any shenanigans would certainly come to light?
3 replies →
This has been the standard in the world of "AI-produces-math-proofs" for a while
The prompt does not mention Lean.
I mean, if you've watched the past decade, this just seems like what news is today. "people are saying the double cover conjecture has a proof"