OpenAI mengumumkan pada 26 Oktober 2026 bahwa modelnya memberikan bukti bahasa alami untuk tiga hasil jangka panjang yang belum terpecahkan, yang belum diverifikasi secara independen. Tiga hasil tersebut adalah: lokal halus terkait dugaan Kakeya, hipotesis waktu eksponensial salah, dan eksistensi kompleksitas quantum chromodynamics serta pelengkapan model standar; bukti eksistensi Yang–Mills dihasilkan pada 9 September, tetapi rilisnya ditunda hingga 16 Oktober setelah formalisasi Lean dari hasil tersebut selesai. Para komentator dengan latar belakang teori kompleksitas berpendapat bahwa penolakan ETH memiliki dampak terbesar, karena menjadi fondasi bagi banyak hasil kesulitan dan batas bawah.