Tag
GPT-5.6 Sol Ultra, a publicly available AI model, solved a 50-year-old math conjecture in under an hour, suggesting that AI may solve mathematics within the next decade.
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.