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 lack of citations for known prior work. The bigger question remains: Does AI just recombine existing knowledge, or does it create something new?
The article OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour appeared first on The Decoder.
source & further reading
the-decoder.com — original article
Terrorist groups are using every major AI chatbot for attack planning and weapons development
Meta's Muse Spark 1.1 outperforms GLM-5.2 in coding and costs slightly less
OpenAI admits it "didn't get everything quite right" with ChatGPT Work launch and scrambles to fix UX and costs