Hacker News Logo

Offline

dayweek

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

488 points|cdn.openai.com|
scrlk|23hrs

https://x.com/__eknight__/status/2075643450196971805, https://xcancel.com/__eknight__/status/2075643450196971805

Prompt: https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...