Model OpenAI Bantah Konjektur Utama Geometri Diskrit
Judul asli: An OpenAI model has disproved a central conjecture in discrete geometry
Mengapa Ini Penting
Menandai pertama kalinya AI secara otonom memecahkan masalah terbuka matematika yang menonjol
Model AI OpenAI berhasil membantah konjektur berusia 80 tahun dalam geometri diskrit tentang masalah jarak unit planar yang pertama kali diajukan Paul Erdős pada 1946. Bukti telah diverifikasi matematikawan eksternal.
Model OpenAI telah memecahkan masalah jarak unit planar, salah satu pertanyaan paling terkenal dalam geometri kombinatorial yang diajukan Paul Erdős pada 1946. Masalah ini menanyakan berapa banyak pasangan titik yang dapat berjarak tepat 1 unit jika n titik ditempatkan di bidang datar. Selama hampir 80 tahun, matematikawan percaya bahwa konstruksi 'grid persegi' adalah optimal. Model AI ini membantah konjektur tersebut dengan memberikan keluarga contoh tak terhingga yang menghasilkan peningkatan polinomial. Tim Gowers menyebut hasil ini sebagai 'tonggak sejarah dalam matematika AI' sementara Arul Shankar menyatakan AI kini mampu memiliki ide orisinal dan jenius.