Hacker Next
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]cdn.openai.com
510 points by scrlk 1 days ago | 420 comments