اُپنAI نے 26 اکتوبر 2026 کو اعلان کیا کہ اس کے ماڈل نے تین لمبے عرصے سے حل نہ ہونے والے نتائج کے لیے قدرتی زبان میں ثبوت پیش کیے ہیں، جن کی مستقل تصدیق اب تک نہیں ہوئی ہے۔ یہ تین نتائج Kakeya تخمنہ سے متعلق مقامی چکنائی، ایکسپونینشل ٹائم اسپیکیولیشن کا جھوٹا ہونا، اور کوئنٹم کلور ڈائنامکس اور معیاری ماڈل کی مکملیت کے وجود ہیں؛ جن میں 9 ستمبر کو Yang–Mills کے وجود کا ثبوت تیار کیا گیا، لیکن اس کا اعلان 16 اکتوبر تک ملتوی رہا جب تک کہ اس نتیجہ کا Lean فارم لائزیشن مکمل نہ ہو گیا۔ جو تنقید کنندگان کو مختصر نظریہ کا علم ہے، وہ سمجھتے ہیں کہ ETH کے مسترد ہونے کا سب سے زیادہ اثر ہوگا، کیونکہ یہ بہت سے مشکل اور حدود کے نتائج کا بنیادی ستون ہے۔