🤖 GPT-5.6 Sol Ultra proves 50-year-old mathematical hypothesis
OpenAI's GPT-5.6 Sol Ultra model has presented a proof for the Cycle Double Cover Conjecture, which was formulated in 1973. The solution was achieved in less than an hour using a system of 64 sub-agents.
🌍 This is a crucial precedent for the use of multi-agent systems to solve fundamental problems in theoretical mathematics.
👤 AI is becoming a full-fledged scientific tool capable of making breakthrough discoveries.
Source 1: https://x.com/__eknight__/status/2075643450196971805?s=46&t=pKf_FxsPGBd_YMIWTA8xgg Source 2: https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf