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](cdn.openai.com)
	530 points by scrlk 61 days ago \| 433 comments
	tl;dr: Summary not available
	HN Discussion: ~Prompt engineering overhead is notable, with much of prompt spent cajoling model rather than describing problem ~Impressive milestone but concerns about methodology and how many problems were attempted before success ↑Major milestone in AI mathematical capability, comparable to chess engines surpassing humans ~Proof's conciseness suggests a clever trick, but AI still lacks autonomous theory-building capability ↑Independent verification via another model and expert increases confidence in the result