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

by scrlk | View on Hacker News