OpenAIs modell GPT-5.6 Sol Ultra skal ha produsert et matematisk bevis for den lenge uløste Cycle Double Cover-formodningen.

Kilde: https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf