أعلنت OpenAI في 26 أكتوبر 2026 أن نماذجها قدمت أدلة بلغة طبيعية على ثلاث نتائج طويلة الأمد لم تُحل بعد، ولم تُتحقق بشكل مستقل بعد. النتائج الثلاث هي: التماثل المحلي المرتبط بفرضية كاكيا، وخطأ فرضية الوقت الأسي، ووجود كمالية الديناميكا اللونية الكمية والنماذج القياسية؛ حيث تم توليد إثبات وجود يانغ-ميلز في 9 سبتمبر، وتأجل نشره حتى 16 أكتوبر بعد إكمال تشكيل النتيجة بلغة Lean. ويعتقد المعلقون ذوو الخلفية في نظرية التعقيد أن دحض فرضية ETH له التأثير الأكبر، لأنها تُعد حجر الأساس للعديد من نتائج الصعوبة والحدود الدنيا.