OpenAI: GPT-5.6 Sol Ultra dokázal 50-ročnú matematickú Cycle Double Cover Conjecture za menej ako hodinu

Čo sa stalo

Dňa 10. júla 2026 OpenAI oznámil, že GPT-5.6 Sol Ultra vyprodukoval dôkaz Cycle Double Cover Conjecture (CDC) — 50-ročného otvoreného problému v teórii grafov. Dôkaz bol generovaný prostredníctvom 64 paralelných subagentov za menej ako jednu hodinu.

Kontext a dopad

CDC bola formulovaná nezávisle Georgeom Szekerésom (1973) a Paulom Seymorom (1979) a je považovaná za jeden z najvýznamnejších otvorených problémov v kombinatorike. Ak dôkaz prejde nezávislou matematickou kontrolou, pôjde o historický míľnik pre AI v čistej matematike — porovnateľný s AlphaProof na IMO 2024. Matematická komunita aktívne overuje výsledok.

Detaily

• Model: GPT-5.6 Sol Ultra (Ultra = multi-agentický režim s orchestráciou subagentov)
• Technika: 64 paralelných subagentov, čas riešenia pod 60 minút
• Prístup: dôkaz sa zameriava na triedu loopless kubických grafov
• OpenAI zverejnil plný PDF dôkaz (cdn.openai.com) aj prompt
• Oznámenie cez X od Ethan Knight (OpenAI), deň po globálnom sprístupnení Sol Ultra (9. júla)
• Dôkaz je v štádiu peer review — nie je nezávisle overený