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 charcircuit on Friday July 10, 2026 @03:36PM (#48864232)
The prompt does not mention Lean.
[ Parent | on HN ]

There are no comments on this comment yet.