Contoh Penyangkal
Sebuah model OpenAI telah menyangkal satu konjektur matematik berusia 80 tahun. Ini merupakan satu pencapaian penting. Namun, ia menunjukkan kepada kita dengan tepat apa yang AI boleh dan tidak boleh lakukan.
Masalahnya mudah. Letakkan titik-titik pada satah rata. Berapakah bilangan pasangan yang boleh diletakkan pada jarak satu unit antara satu sama lain? Paul Erdős mengagak bahawa grid tertentu adalah cara terbaik untuk melakukannya. Agakan ini bertahan selama 80 tahun.
AI tersebut telah mematahkan agakan itu. Ia tidak mencipta cara pemikiran baharu. Ia menemui satu corak dengan membina kekisi dalam dimensi yang lebih tinggi dan memancarkannya semula ke bawah. Ia menemui susunan khusus yang tidak dapat ditandingi oleh grid.
Kejayaan ini mendedahkan dua kekuatan khusus AI:
- Carian tanpa bias: Manusia sering berhenti mencari contoh penyangkal jika mereka percaya sesuatu teori itu benar. AI tidak mempunyai kepercayaan sedemikian. Ia terus memburu walaupun manusia sudah berputus asa.
- Stamina yang melampau: Manusia membahagi-bahagikan perhatian mereka. Kita meninggalkan strategi yang mengambil terlalu banyak masa atau tidak membuahkan hasil dengan cepat. Model tersebut menjalankan ratusan percubaan yang gagal tanpa merasa penat.
AI tersebut juga menggunakan jangkauan luasnya. Ia menggabungkan teori nombor algebra dengan geometri diskret. Kebanyakan manusia pakar dalam satu bidang sahaja. Model tersebut memuatkan literatur daripada semua bidang secara serentak. Ia membuat hubungan yang mungkin terlepas pandang oleh seorang pakar.
Walau bagaimanapun, ini bukanlah satu ciptaan. Model tersebut tidak mencipta alat matematik baharu. Ia menggunakan matematik sedia ada untuk mencari hasil dalam kerangka kerja yang sedia ada. Ia mencari objek dalam ruang yang telah ditentukan yang memenuhi peraturan yang diketahui.
Ciptaan matematik yang sebenar adalah berbeza. Ia adalah keupayaan untuk mencipta ruang baharu, kekangan baharu, atau bahasa baharu.
Ujian sebenar bagi AI bukanlah berapa banyak masalah lama yang dapat diselesaikannya. Ujian sebenar adalah sama ada sesebuah model dapat mencipta definisi atau kaedah yang diterima oleh ahli matematik sebagai milik mereka sendiri.
Sehingga sesebuah model menjana kerangka kerja baharu, ia kekal sebagai alat carian yang berkuasa dan bukannya seorang pencipta. Kelebihan mesin adalah ia tidak mempercayai apa yang kita percayai, dan ia tidak penat mencari.
Source: https://dev.to/thesythesis/the-counterexample-hd2
Optional learning community: https://t.me/GyaanSetuAi