OpenAI's GPT-5.6 Sol Ultra solved a 50-year-old math problem, the Cycle Double Cover Conjecture, in under an hour using 64 parallel sub-agents.

Mathematicians call the proof surprisingly elementary but criticize it for lacking human elegance. This marks a major milestone in AI research capabilities.

AI-generated: summaries written by AI from the linked sources. How we use AI