Selama hampir lapan dekad, ahli matematik telah berjuang dengan satu konjektur mengenai cara terbaik untuk menyusun titik-titik supaya sebanyak mungkin pasangan berjarak tepat satu unit. Wang bijak mengatakan susunan seperti grid segi empat adalah paling optimum. OpenAI mengatakan AI-nya baru sahaja membuktikan bahawa wang bijak itu salah.
Syarikat tersebut mengumumkan bahawa salah satu model penalaran amnya secara autonom membantah satu konjektur utama yang berkaitan dengan masalah jarak unit, satu soalan dalam geometri diskret yang pertama kali diajukan oleh Paul Erdős pada tahun 1946. Hasilnya: satu keluarga pembinaan baharu yang melampaui susunan yang selama ini dianggap oleh ahli matematik sebagai yang terbaik.
Apa yang sebenarnya dilakukan oleh AI
Masalah jarak unit menanyakan soalan yang kelihatan ringkas tetapi menipu: diberikan sejumlah titik dalam satah, berapakah bilangan pasangan maksimum yang boleh berjarak tepat satu unit? Erdős mengemukakan ini pada tahun 1946, dan selama generasi, konsensus berpendapat bahawa konfigurasi yang menyerupai grid segi empat adalah pendekatan paling optimum.
Model OpenAI tidak sekadar menggigit di tepi. Ia membantah konjektur itu sepenuhnya, menunjukkan bahawa struktur seperti grid tersebut sebenarnya bukanlah yang terbaik yang boleh dicapai. AI tersebut menemui keluarga susunan alternatif yang menghasilkan lebih banyak pasangan jarak unit berbanding apa yang sebelum ini dibina oleh siapa pun.
Inilah perkara yang sebenarnya. Ini bukan komputasi kekuatan kasar atau alat sempit yang dibina khusus untuk geometri. OpenAI menggambarkan sistem ini sebagai model penalaran serba guna, yang mengeksplorasi penyelesaian secara berulang bersama ahli matematik manusia. Bukti akhir telah disahkan secara formal menggunakan Lean, sebuah pembantu bukti yang berfungsi sebagai persamaan matematik bagi tanda tangan notaris. Jika bukti tersebut sah dalam Lean, ia sah, titik.
OpenAI menyebut ini sebagai kes pertama AI yang menyelesaikan masalah terbuka utama dalam matematik secara autonom. Itu adalah klaim yang berani, tetapi pengesahan formal memberikan berat yang serius kepada klaim tersebut.
Kad skor Erdős
Paul Erdős dianggap sebagai ahli matematik paling produktif pada abad ke-20, terkenal kerana mengemukakan ratusan masalah yang berkisar dari yang mudah difahami hingga kelihatan mustahil. Banyak daripada masalah-masalah itu disertai hadiah tunai, sebahagiannya masih belum dituntut puluhan tahun selepas kematiannya pada tahun 1996.
Konjektur jarak unit adalah salah satu cabaran yang berterusan, jenis yang diwarisi melalui generasi pelajar siswazah dan profesor yang sedang mengejar status kekal seperti warisan matematik yang tiada siapa benar-benar tahu bagaimana untuk membukanya.
Yang menjadikan momen semasa ini menarik ialah kelajuan. Sejak Januari 2026, sistem AI telah menyelesaikan 15 masalah Erdős daripada status terbuka kepada selesai, dengan AI diberi kredit dalam 11 kes tersebut. Ini adalah percepatan yang luar biasa. Sebagai perbandingan, beberapa masalah ini telah dibiarkan tanpa sentuhan selama beberapa dekad, mengumpul debu di papan putih dan di catatan kaki kertas tinjauan. Kini, ia terselesaikan dalam beberapa bulan.
Pola ini menunjukkan sesuatu yang lebih luas daripada satu keputusan beruntung semata. Model penalaran AI kelihatan sedang mencapai ambang kemampuan di mana mereka boleh menyumbang secara bermakna, dan dalam kes tertentu, memimpin penemuan matematik. Samada trend ini berterusan atau mencapai dataran, masih menjadi soalan terbuka, tetapi arahannya sukar diabaikan.
Mengapa kripto perlu memperhatikan
Pada pandangan pertama, satu terobosan dalam geometri diskret kelihatan sebegitu relevannya dengan kripto seperti satu bacaan puisi. Namun, lihat lebih dekat, dan hubungannya menjadi menarik.
Teknik yang digunakan untuk membuktikan keputusan seperti masalah jarak unit secara langsung berkesan dalam pengesahan formal, proses membuktikan secara matematik bahawa kod melakukan tepat apa yang diklaimnya. Di dunia kontrak pintar, di mana satu ralat sahaja boleh menguras jutaan daripada protokol, pengesahan formal adalah piawai emas keselamatan.
Sekarang, mengesahkan secara formal suatu kontrak pintar adalah mahal, perlahan, dan memerlukan keahlian khusus. Jika model penalaran AI mampu menghasilkan dan mengesahkan bukti matematik secara autonom, kemampuan yang sama akhirnya boleh diarahkan kepada kod Solidity, kontrak Move, atau reka bentuk protokol kriptografi. Anggap ia sebagai peningkatan daripada audit manusia kepada jaminan matematik.
Protokol kriptografi sendiri berpangkalkan kepada asas matematik. Bukti tanpa pengetahuan, enkripsi homomorfik, dan kriptografi pasca-kuantum semuanya bergantung kepada masalah matematik yang sukar. Sebuah AI yang mampu menemui konstruksi baharu dan membantah konjektur yang telah lama diterima dalam matematik tulen boleh, secara teori, mempercepat kemajuan di bidang-bidang ini, atau mengungkap kerentanan yang tidak ada siapa pun tahu wujud.
Dampak pasaran langsung hari ini pada dasarnya sifar. Tiada token akan naik kerana AI menemui susunan titik yang lebih baik dalam satu satah. Tetapi implikasi hulu terhadap infrastruktur keselamatan blok rantai adalah nyata dan patut dipantau. Jika pengesahan formal menjadi lebih murah dan lebih boleh diakses melalui AI, ia boleh secara bermakna mengurangkan frekuensi eksploitasi kontrak pintar yang secara kolektif telah merugikan industri berbilion dolar.
Bagi pelabur, isyarat di sini kurang berkaitan dengan bukti tunggal dan lebih kepada arah pergerakan. Sistem AI semakin baik dalam penaakulan yang ketat, jenis yang menghasilkan output yang boleh disahkan dan boleh dipercayai, bukan ilusi yang kedengaran yakin. Perbezaan ini sangat penting untuk sebarang aplikasi di mana kebetulan bukan pilihan, yang menggambarkan hampir semua perkara dalam kripto.