OpenAI's GPT-5.6 Sol Ultra reportedly solved a 50-year-old unsolved math problem in under an hour.

The model used 64 parallel sub-agents to produce a proof of the Cycle Double Cover Conjecture. A mathematician called the proof surprisingly elementary but criticized its lack of elegance.

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