Model penalaran generasi berikutnya dari OpenAI, yang secara internal disebut Astra, baru saja melakukan sesuatu yang akan membuat sebagian besar kandidat PhD menangis di papan putih mereka. Perusahaan mengumumkan pada 1 Agustus bahwa model ini secara mandiri menghasilkan 10 hasil baru pada masalah terbuka dalam matematika dan ilmu komputer teoretis, masing-masing diverifikasi oleh matematikawan eksternal termasuk Fields Medalist Tim Gowers.
Ini bukan pertama kalinya Astra melakukan hal ini. Pada 20 Mei, model yang sama berhasil membantah dugaan jarak unit planar Erdős, sebuah masalah yang telah membingungkan para matematikawan selama hampir 80 tahun.
Apa yang sebenarnya dilakukan model
Masalah yang diajukan oleh matematikawan Hungaria legendaris Paul Erdős berkaitan dengan berapa banyak pasangan titik di bidang yang dapat berjarak tepat satu satuan. Astra membangun konfigurasi yang menghasilkan setidaknya n^(1+δ) pasangan jarak-satu, di mana δ lebih besar dari nol, untuk tak hingga banyaknya n. Hasil yang disempurnakan menetapkan δ pada 0,014. Ini adalah pertama kalinya AI menyelesaikan secara otonom masalah signifikan dalam geometri diskret. Tanpa pelatihan matematis khusus. Tanpa bantuan manusia. Model tersebut melakukan penalaran aljabar tingkat lanjut secara mandiri.
Pengumuman Agustus menambahkan 10 hasil lagi, mencakup geometri dan ilmu komputer teoretis. Setiap hasil telah diverifikasi secara independen oleh matematikawan profesional. Gowers sendiri menyebut pencapaian ini sebagai “tonggak sejarah dalam matematika AI.” Matematikawan termasuk Gowers dan Thomas Bloom menerbitkan makalah pendamping yang memverifikasi bukti-bukti tersebut dan memberikan analisis lebih lanjut.
Mengapa hal ini penting di luar murni matematika
Kriptografi, tulang punggung setiap blockchain dan aset digital yang ada, pada dasarnya adalah matematika terapan. Asumsi keamanan yang mendasari Bitcoin, Ethereum, dan setiap protokol kripto lainnya bergantung pada kesulitan komputasi dari masalah matematis tertentu. Sebuah model yang dapat membantah konjektur berusia 80 tahun dalam geometri diskret hari ini adalah model yang para penerusnya mungkin akan menguji fondasi matematis enkripsi besok.
Apa yang seharusnya diwaspadai oleh investor
Dampak pasar langsung di sini nol. OpenAI tidak menyebutkan token kripto, aset digital, atau protokol terkait dalam semua pengumumannya. Ini adalah tonggak penelitian AI murni.
Pertama, token dan proyek terkait AI yang berfokus pada komputasi matematis dan verifikasi bukti dapat mengalami minat kembali. Narasi bahwa AI dapat melakukan pekerjaan intelektual nyata dan dapat diverifikasi, bukan hanya menghasilkan teks yang terdengar masuk akal, memperkuat argumen untuk proyek-proyek yang membangun di persimpangan AI dan verifikasi blockchain.
Kedua, kriptografi pasca-kuantum berpindah dari perhatian teoretis menjadi prioritas praktis. Proyek-proyek yang mengembangkan standar kriptografi tahan kuantum dan tahan AI dapat menemukan diri mereka semakin relevan.