Selama 80 tahun, salah satu masalah paling tegar dalam geometri kombinatorial terletak di rak, kadang-kadang diambil oleh ahli matematik yang ambisius, tetapi tidak pernah benar-benar dipecahkan. Kini, AI telah berjaya.
Sebuah model penalaran umum dalaman OpenAI telah menghasilkan bukti yang menyelesaikan masalah jarak unit satah, satu konjektur yang pertama kali diajukan oleh ahli matematik Hungary legenda, Paul Erdős, pada tahun 1946. Bukti tersebut, yang merangkumi kira-kira 125 muka surat, menubuhkan satu keluarga tak terhingga konfigurasi satah dengan lebih banyak pasangan jarak unit berbanding susunan optimum yang selama ini dianggap. Dalam istilah mudah: AI telah menemui corak geometri yang melanggar had yang diyakini berlaku selama lapan dekad oleh ahli matematik.
Apa yang sebenarnya dikatakan oleh bukti itu
Masalah jarak unit planar bertanya: diberikan n titik dalam satu satah, berapakah bilangan pasangan maksimum yang boleh berjarak tepat satu unit? Erdős mengemukakan sempadan atas bagi kiraan ini, dan selama beberapa dekad, konfigurasi terbaik yang diketahui adalah struktur seperti grid yang kelihatan mengesahkan intuisinya.
Model OpenAI mengambil jalan yang sama sekali berbeza. Alih-alih mengulang susunan grid yang sudah diketahui, ia mendekati masalah ini melalui teori nombor algebra, menghubungkannya dengan struktur matematik lanjut yang dipanggil menara medan kelas tak hingga. Hasilnya ialah keluarga tak hingga konfigurasi yang melampaui konfigurasi optimum yang diterima secara tradisional, serta menyangkal batas atas yang dicadangkan oleh Erdős secara langsung. Peningkatan ini telah diukur dengan eksponen kira-kira 0.014.
Siapa yang mengesahkannya, dan mengapa ia penting
Tim Gowers, penerima Anugerah Fields, telah mengulas karya tersebut. Demikian juga Will Sawin, seorang ahli matematik dari Princeton. Keduanya mengesahkan kebenaran bukti tersebut. Sawin secara khusus mengkuantifikasikan peningkatan pada angka eksponen kira-kira 0.014.
Pengumuman itu datang sekitar 20 Mei 2026, dan segera membentuk semula perbincangan mengenai apa yang boleh dilakukan oleh sistem penalaran AI dalam konteks penyelidikan tulen.
Apakah maksud ini selain matematik
Teknik-teknik yang terlibat, terutamanya teori nombor algebra dan pembinaan objek matematik baharu, mempunyai kaitan langsung dengan pengesahan formal dan sistem bukti tanpa pengetahuan.
Pengesahan formal ialah proses membuktikan secara matematik bahawa kod melakukan apa yang sepatutnya dilakukan. Jika model penalaran AI mampu menghasilkan dan mengesahkan bukti pada tahap yang ditunjukkan di sini, kos dan jangka masa untuk mengesahkan secara formal protokol kompleks boleh menurun secara ketara.
Bukti tanpa pengetahuan, teknik kriptografi yang menjadi dasar blok rantai dan penyelesaian penskalaan yang berfokus pada privasi seperti zk-rollups, dibina atas asas algebra yang mendalam. Jenis teori nombor algebra yang dimodelkan oleh OpenAI untuk menyelesaikan masalah ini berada di kawasan matematik yang sama.
Tiada token kripto tertentu yang dikaitkan dengan keputusan ini, dan sesiapa yang mengatakan sebaliknya sedang melangkah terlalu jauh sebelum fakta tersedia.