OpenAI, 26 Ekim 2026 tarihinde, modellerinin doğal dil kullanarak üç uzun süredir çözülmemiş sonucun doğal dil kanıtlarını ürettiğini duyurdu; bu kanıtlar henüz bağımsız olarak doğrulanmamıştır. Üç sonuç, Kakeya sanısına ilişkin yerel düzgünlük, üssel zaman varsayımının yanlışlığı ve kuantum kromodinamiğin ve standart modelin tamamlanabilirliğinin varlığıdır; bunlardan Yang–Mills varlık kanıtı 9 Eylül'de oluşturulmuş, ancak Lean formülasyonu 16 Ekim'de tamamlandıktan sonra 16 Ekim'de yayınlanmıştır. Karmaşıklık teorisi arka planına sahip yorumcular, ETH'nin çürütülmesinin birçok zorluk ve alt sınır sonucunun temelini oluşturan en büyük etkiye sahip olduğunu düşünmektedir.