News for hackers. Stuff that matters.

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

Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by kzrdude on Saturday July 11, 2026 @06:59AM (#48870867)
Over on r/math, one objection to the proof has been raised (more discussion is needed to know if it is a problem): https://old.reddit.com/r/math/comments/1uszk3d/openai_claims...
[ Parent | on HN ]
Re:GPT-5.6 Sol Ultra produces proof of the Cycle Double Cove... by asrp on Saturday July 11, 2026 @08:01AM (#48871283)
No, that's not a problem at all. It just the notation that's a bit weird.

For example, if e is the a-edge (first edge) from the u side and v is the b-edge (second edge) from the v side then g_{u,e} = 0, g_{v,e} = a so d_e = 0 + f(x2) where f(x2) is the flow (from Kilpatrick and Jaeger's NZ8F) on the first edge next to v.

I checked the whole thing with some surface reformulations on my side and it looks right to me.

[ Parent | on HN ]