CoinDesk annonce qu’OpenAI a déclaré que GPT-5.6 SOL Ultra appelle 64 sous-Agents, en moins d’1 heure, pour fournir une preuve de la conjecture de « double couverture cyclique » vieille d’environ 50 ans. OpenAI a publié le prompt complet et l’intégralité du texte de la preuve, et a également open source une version formalisée en Lean ; le code associé a été vérifié par le noyau de Lean. Toutefois, il s’agit toujours d’un résultat publié par OpenAI, et la communauté mathématique n’a pas encore achevé une revue indépendante ; par conséquent, pour l’instant, on ne peut dire que « fournir une preuve », sans affirmer directement « résoudre officiellement ».