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 singularity2001 on Saturday July 11, 2026 @04:08AM (#48869887)
Very good question I can only answer for one subset tracked by Terence Tao

https://github.com/teorth/erdosproblems

[ Parent | on HN ]

There are no comments on this comment yet.