Devin AI and GPT-5.6 Sol Ultra crack math problems that stumped researchers for half a century
AI agents Devin and GPT-5.6 Sol Ultra have reportedly solved long-standing graph theory problems, with Devin refuting Graffiti Conjecture 154 and proving Conjectures 39 and 40, and OpenAI claiming GPT…