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 sigbottle on Friday July 10, 2026 @03:30PM (#48864154)
what kinds of proofs would it be good at? I thought that combinatorial proofs would be easier to reason over than ones that required analysis
[ Parent | on HN ]

There are no comments on this comment yet.