AI Models
OpenAI GPT-5.6 Sol Ultra solves 50-year-old math problem in under an hour
OpenAI's GPT-5.6 Sol Ultra has reportedly produced a complete proof of the Cycle Double Cover Conjecture, a graph theory problem that remained unsolved for about 50 years. The AI model used 64 subagents working in parallel and finished in under an hour. Mathematician Thomas Bloom praised the proof but criticized the lack of citations to prior work.
Jul 115 minNeura News