AI mungkin baru mencabar salah satu anggapan paling asas dalam ilmu komputer. Tetapi cerita yang lebih besar bukanlah ETH. Pada 26 Oktober, OpenAI mengumumkan bahawa model AI dalaman telah menghasilkan penyangkalan yang diklaim terhadap Hipotesis Masa Eksponen (ETH)—sebuah konjektur asas yang menjadi asas ratusan keputusan kesukaran pengiraan. Klaim tersebut: Algoritma masa subeksponen yang deterministik untuk pengiraan tepat bilangan penugasan memuaskan dalam formula Boolean lebar tetap. Jika betul, ETH akan jatuh. Begitu juga beberapa konjektur yang lebih kuat. Namun, P ≠ NP masih belum diselesaikan. Dan secara teori lebih pantas tidak semestinya bermakna berguna secara praktikal. Bukti ini telah diformalisasi dalam Lean. Semakan bebas sedang diorganisasi oleh Russell Impagliazzo, Ramamohan Paturi, dan Ryan Williams dari MIT. Keterlibatan mereka bukanlah penyokong. Pengesahan bebas masih penting. Perspektif saya: Kita mungkin sedang menyaksikan tiga terobosan, bukan satu. Matematik: Halangan panjang dalam kerumitan pengiraan mungkin telah dilanggar. Sains: AI mungkin sedang berpindah dari membantu penyelidik kepada menghasilkan pengetahuan benar-benar baharu. Institusi: Komuniti sains mesti memikirkan semula bagaimana penemuan disahkan, difahami, diberi pengiktirafan, dan diulangi. Yang ketiga mungkin membawa kesan paling besar. Selama berabad-abad, menghasilkan penemuan peringkat had memerlukan kepakaran manusia yang jarang dan bertahun-tahun penyelidikan. Apa yang berlaku apabila AI boleh menghasilkan penemuan matematik yang kredibel lebih pantas daripada manusia boleh menyemak dan memahaminya secara bebas? Penghalaan berpindah dari penemuan kepada pengesahan, tafsiran, dan penilaian saintifik. Dan akhirnya, AI mungkin juga mempercepatkan proses-proses ini. Titik belok sebenar bukanlah AI menyelesaikan satu masalah terkenal. Ia ialah AI yang berulang kali memperluaskan had pengetahuan manusia. Kita belum sampai ke sana secara pasti. Tetapi perkembangan ini patut mendapat perhatian serius. Soalnya bukan lagi seberapa pintar AI boleh menjadi. Ia ialah sama ada institusi saintifik kita boleh berkembang dengan cukup pantas untuk menilai apa yang ditemui oleh AI. Pengumuman OpenAI: https://t.co/G0p0VEMjlC Kertas penyelidikan dan formalisasi Lean: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI