OpenAI's latest AI model, GPT-5.6 Sol Ultra, has reportedly produced a proof of the Cycle Double Cover Conjecture—a mathematical problem that has remained unsolved for 50 years. According to The Decoder, the AI achieved this feat in under an hour by utilizing 64 subagents working simultaneously in parallel.
Mathematician Thomas Bloom described the proof as surprisingly elementary but raised concerns over the absence of citations to prior known work, highlighting a potential gap in academic rigor. Despite this, the accomplishment marks a significant milestone in the application of advanced AI to complex mathematical challenges.
For Japanese markets, the breakthrough underscores the accelerating role of AI technologies like GPT-5.6 Sol Ultra in driving innovation that could impact sectors ranging from financial modeling to quantitative research.