Maintenance in progress

openai released the gpt-5.6 model family alongside a workplace tool, and claims its 'sol' variant produced a proof of the 50-year-old cycle double cover conjecture using 64 coordinated subagents in one hour. if the proof holds under review, a frontier model resolving an open mathematics problem via swarmed agents is a genuine capability step; for now it is a claim made by the company that sells the model. in the same window, google reportedly fell out of the top five labs on a widely watched capability index for the first time.

industry trade coverage and company statements