Model penalaran generasi seterusnya OpenAI, yang dirujuk secara dalaman sebagai Astra, baru sahaja mencapai sesuatu yang akan membuatkan kebanyakan calon PhD menangis di atas papan putih mereka. Syarikat itu mengumumkan pada 1 Ogos bahawa model ini secara autonom menghasilkan 10 keputusan baharu mengenai masalah terbuka dalam matematik dan sains komputer teori, setiap satu disahkan oleh ahli matematik luar termasuk Fields Medalist Tim Gowers.
Ini bukan pertama kalinya Astra melakukan ini. Pada 20 Mei, model yang sama telah membantah konjektur jarak unit planar Erdős, satu masalah yang telah membingungkan ahli matematik selama hampir 80 tahun.
Apa yang sebenarnya dilakukan model tersebut
Masalah yang diajukan oleh ahli matematik Hungary legenda, Paul Erdős, berkaitan dengan berapa banyak pasangan titik dalam satu satah yang boleh berjarak tepat satu unit. Astra membina konfigurasi yang menghasilkan sekurang-kurangnya n^(1+δ) pasangan jarak unit, di mana δ lebih besar daripada sifar, untuk tak terhingga banyak n. Hasil yang disempurnakan menetapkan δ pada 0.014. Ini adalah kali pertama AI menyelesaikan masalah penting dalam geometri diskret secara autonom. Tiada latihan matematik khusus. Tiada bantuan manusia. Model tersebut melakukan penalaran algebra tingkat tinggi secara sendiri.
Pengumuman Ogos menambahkan 10 keputusan lagi, merangkumi geometri dan sains komputer teori. Setiap keputusan telah disahkan secara berasingan oleh ahli matematik profesional. Gowers sendiri memanggil pencapaian ini sebagai “tanda penting dalam matematik AI.” Ahli matematik termasuk Gowers dan Thomas Bloom menerbitkan kertas kerja pendamping yang menyahkan bukti-bukti tersebut serta memberikan analisis lanjut.
Mengapa ini penting melebihi matematik semata
Kriptografi, tulang belakang setiap blok rantai dan aset digital yang wujud, pada dasarnya ialah matematik terapan. Anggapan keselamatan yang menjadi asas bitcoin, ethereum, dan setiap protokol kripto lain bergantung pada kesukaran pengiraan masalah matematik tertentu. Satu model yang boleh membantah konjektur berusia 80 tahun dalam geometri diskret hari ini adalah model yang warisannya mungkin menguji asas matematik enkripsi esok.
Apa yang sebenarnya perlu dipantau oleh pelabur
Impak pasaran segera di sini adalah sifar. OpenAI tidak menyebut apa-apa token kripto, aset digital, atau protokol berkaitan dalam sebarang pengumuman mereka. Ini adalah satu pencapaian penyelidikan AI semata-mata.
Pertama, token dan projek yang berkaitan dengan AI yang berfokus pada pengiraan matematik dan pengesahan bukti mungkin mendapat minat semula. Naratif bahawa AI mampu melakukan kerja intelektual yang sebenar dan boleh disahkan, bukan sekadar menghasilkan teks yang kelihatan munasabah, memperkuat kes untuk projek-projek yang membangunkan di persimpangan AI dan pengesahan blok rantai.
Kedua, kriptografi pasca-kuantum bergerak daripada isu teori kepada keutamaan praktikal. Projek-projek yang bekerja pada piawaian kriptografi yang tahan terhadap kuantum dan AI mungkin akan semakin relevan.