Comment by UltraSane
2 months ago
What a ridiculous thing to say. If it was verified in Lean we could be much more confident the proof is correct.
2 months ago
What a ridiculous thing to say. If it was verified in Lean we could be much more confident the proof is correct.
It's not a long proof (it's not in Lean after all) so easy enough to comb through for a domain expert.
If it was in Lean anyone could verify it instantly. That is the huge advantage of it. Manual math Proof verification labor might be the most limited resource ever.
How does it matter if it Lean verified or a human verified proof if you comprehend neither?
There can't be too many people working in that corner of graph theory, and I expect the result to them being eminently straightforward.
2 replies →