أعلنت شبكة أخبار سوق العملات الرقمية، OpenAI، أن GPT-5.6 SOL Ultra استدعت 64 من العملاء الفرعيين (subAgents)، وذلك في أقل من ساعة، لتقديم برهان لـ«تخمين التغطية المزدوجة الدورية» الذي مضى عليه نحو 50 عاماً. وقد نشرت OpenAI prompt الكامل ونص البرهان بالكامل، كما أطلقت نسخة مفتوحة المصدر بصيغة Lean، وتمت مراجعة الرمز عبر فحص نواة Lean. ومع ذلك، ما زالت هذه النتائج صادرة عن OpenAI، ولم يكتمل بعد التحقق المستقل من المجتمع الرياضي، لذلك يمكن مؤقتاً القول إن «قدّم برهاناً» فقط، ولا يجوز مباشرة القول إن «تم حل المسألة رسمياً».