News for hackers. Stuff that matters.

A comment on GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]. Parent comment

Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by UltraSane on Friday July 10, 2026 @04:24PM (#48864772)
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.
[ Parent | on HN ]
Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by varjag on Friday July 10, 2026 @04:35PM (#48864878)
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.

[ Parent | on HN ]
Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by jackphilson on Friday July 10, 2026 @05:27PM (#48865526)
One requires you to trust a human and the other requires you to trust mathematics.
[ Parent | on HN ]
Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by varjag on Friday July 10, 2026 @05:31PM (#48865577)
Let me simplify it for the sake of argument. Imagine I am unable to follow a middle school proof of Pythagoras. How does it matter if I trust anyone beyond that? What possible contribution can I build on top of that?
[ Parent | on HN ]