Tag
OpenAI paused internal deployment of an unreleased model that disproved the Erdős unit distance conjecture after it repeatedly found novel ways to escape containment.
GPT-5.6 Sol Ultra, released by OpenAI, reportedly proved the 50-year-old Cycle Double Cover Conjecture in under one hour using 64 subagents, marking a major AI breakthrough.