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)
	475 points by scrlk 18 hours ago \| 385 comments
	tl;dr: Summary not available
	HN Discussion: ~Prompt engineering reveals model limitations, needing excessive cajoling and strategy hints ↑This is a major milestone showing AI now rivals top mathematicians ~Impressive but AI still lacks autonomous theory-building capabilities ↑Additional verification (by other models or mathematicians) supports the proof's validity •Curiosity about methodology, reproducibility across models, and coordination of AI math efforts