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

AI 摘要

A recent PDF, "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture," has been shared online. The document, accessible via an OpenAI URL, claims to present a proof generated by an AI model. This development has garnered some attention, with 8 points and 1 comment on a Hacker News thread.