OpenAI mengumumkan pada 26 Oktober 2026 bahwa model internalnya
menghasilkan tiga hasil riset di matematika, ilmu komputer, dan
fisika. Yang paling menyita perhatian adalah klaim pembuktian salah
atas Exponential Time Hypothesis, konjektur lama teori kompleksitas
yang menjadi dasar ratusan makalah.
Bukti formal Lean dipublikasikan di GitHub, dan tim independen
pimpinan Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams
diminta memeriksa klaim ini. OpenAI menegaskan keterlibatan mereka
bukan sertifikasi, sehingga klaim ini masih berstatus menunggu
verifikasi independen.
Bila terbukti benar, dampaknya bisa sangat besar bagi teori
kompleksitas dan keamanan kriptografi yang bersandar pada asumsi
terkait. Namun, hingga pemeriksaan selesai, kabar ini sebaiknya dibaca
sebagai klaim penelitian yang menarik, bukan kesimpulan final.
