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 drdexebtjl on Friday July 10, 2026 @05:04PM (#48865244)
Is this something humans have been unable to do?

There’s only so many people with the necessary skills to solve this. And you need these humans to choose to spend their time solving this, and not something else.

[ Parent | on HN ]
Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by famouswaffles on Friday July 10, 2026 @06:02PM (#48865878)
>Is this something humans have been unable to do?

It's a famous open problem so yeah

>There’s only so many people with the necessary skills to solve this. And you need these humans to choose to spend their time solving this, and not something else.

Sure, but that doesn't mean a lot of very skilled people hadn't attempted and failed to solve this.

[ Parent | on HN ]
Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by koe123 on Friday July 10, 2026 @07:59PM (#48866920)
And you’ve known about this problem for how many minutes?
[ Parent | on HN ]
Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by famouswaffles on Friday July 10, 2026 @08:59PM (#48867411)
Long enough to know this has been on the Wikipedia page of open math problems for several years.
[ Parent | on HN ]