AI mungkin baru saja menantang salah satu asumsi paling mendasar dalam ilmu komputer. Tetapi cerita yang lebih besar bukanlah ETH. Pada 26 Oktober, OpenAI mengumumkan bahwa model AI internal telah menghasilkan klaim pembuktian terhadap Hipotesis Waktu Eksponensial (ETH)—dugaan fondasional yang mendasari ratusan hasil kompleksitas komputasi. Klaimnya: Algoritma waktu sub-eksponensial deterministik untuk menghitung tepat jumlah penugasan yang memuaskan dalam formula Boolean berlebar tetap. Jika benar, ETH runtuh. Demikian pula beberapa dugaan yang lebih kuat. Namun, P ≠ NP tetap belum terpecahkan. Dan secara teoretis lebih cepat tidak selalu berarti secara praktis bermanfaat. Bukti ini telah diformalisasi dalam Lean. Sebuah pemeriksaan independen sedang diorganisasi oleh Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams dari MIT. Keterlibatan mereka bukanlah dukungan. Validasi independen tetap sangat penting. Perspektif saya: Kita berpotensi menyaksikan tiga terobosan, bukan satu. Matematis: Hambatan panjang dalam kompleksitas komputasi mungkin telah dirobohkan. Ilmiah: AI mungkin sedang bertransisi dari membantu peneliti menjadi menghasilkan pengetahuan benar-benar baru. Institusional: Komunitas ilmiah harus memikirkan ulang bagaimana penemuan diverifikasi, dipahami, diberi kredit, dan direproduksi. Yang ketiga mungkin terbukti paling berdampak. Selama berabad-abad, menghasilkan penemuan tingkat terdepan memerlukan keahlian manusia yang langka dan bertahun-tahun penelitian. Apa yang terjadi ketika AI dapat menghasilkan penemuan matematis yang kredibel lebih cepat daripada manusia dapat memvalidasi dan memahaminya secara independen? Penghambat berpindah dari penemuan ke verifikasi, interpretasi, dan penilaian ilmiah. Dan pada akhirnya, AI mungkin juga mempercepat proses-proses tersebut. Titik balik sejati bukanlah AI yang menyelesaikan satu masalah terkenal. Melainkan AI yang secara berulang memperluas batas pengetahuan manusia. Kita belum sampai di sana secara pasti. Tetapi perkembangan ini layak mendapat perhatian serius. Pertanyaannya sekarang bukan lagi seberapa cerdas AI bisa menjadi. Tetapi apakah institusi ilmiah kita bisa berkembang cukup cepat untuk mengevaluasi apa yang ditemukan AI. Pengumuman OpenAI: https://t.co/G0p0VEMjlC Paper penelitian dan formalisasi Lean: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI