OpenAI's GPT-5.6 Sol Ultra has successfully solved the Cycle Double Cover Conjecture, a mathematical challenge that had remained unsolved since 1973. The AI completed the task in less than an hour and has made both the proof and the complete prompt available to the public. To achieve this, the model utilized 64 sub-agents that tackled various segments of the problem simultaneously. At this time, the findings have not undergone independent peer review by the mathematics community.

by shortkt.com✓

3 hours ago