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)
	466 points by scrlk 17 hours ago \| 376 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