GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]cdn.openai.com
365 points by scrlk 8 hours ago | 295 comments