AIThe Decoder1h ago
OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem
OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour
OpenAI's GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture in under an hour, using 64 subagents working in parallel. The conjecture had remained unsolved for 50 years. Mathematician Thomas Bloom calls the proof surprisingly elementary but criticizes the…
Read full articleSource: The Decoder · Opens in new tab