STORY · MODELLER_
GPT-5.6 Sol Ultra claims to have proven the Cycle Double Cover conjecture
An AI model called GPT-5.6 Sol Ultra is said to have produced a proof of the Cycle Double Cover conjecture, an unsolved problem in graph theory. The proof is documented in a PDF that OpenAI has published.
WHY IT MATTERS
If the proof withstands mathematical scrutiny, it would be a breakthrough for a classical unsolved problem. It also highlights how advanced today's large language models have become when it comes to formal mathematical reasoning.
SOURCES
MACHINE-GENERATED SUMMARY This summary is written by machine from the sources below. We sort and explain — but we are a way into the field, not the final word. Check the source when something matters to you.