Saturday, July 11, 2026

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

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
450 by scrlk | 363 comments on Hacker News.
https://ift.tt/1HUwZ3n , https://ift.tt/vTY7a4c Prompt: https://ift.tt/TPaFJYO...