OpenAI mengumumkan pada 26 Oktober 2026 bahawa modelnya memberikan bukti bahasa semula jadi bagi tiga keputusan jangka panjang yang belum terselesaikan, yang belum disahkan secara bebas. Tiga keputusan tersebut ialah kehalusan tempatan berkaitan konjektur Kakeya, anggapan masa eksponen adalah salah, dan kewujudan kuantum dinamik warna dan pelengkap model piawai; bukti kewujudan Yang–Mills dihasilkan pada 9 September, tetapi pengumumannya ditangguhkan sehingga 16 Oktober selepas formalisasi Lean bagi keputusan tersebut selesai. Pemerhati dengan latar belakang teori kompleksiti berpendapat bahawa penolakan ETH memberi kesan paling besar, kerana ia merupakan asas kepada banyak keputusan kesukaran dan sempadan bawah.