GPT-5.6 Sol Ultra has reportedly produced a formal proof of the Cycle Double Cover Conjecture. The findings are detailed in a technical document hosted by OpenAI.

Read original