Sebuah sistem OpenAI berhasil menyelesaikan teka-teki geometri yang telah ada selama puluhan tahun, menurut Bitcoin News. Kecerdasan buatan ini menangani masalah jarak unit, yang diajukan oleh Paul Erdős pada tahun 1946, menandai terobosan signifikan dalam penelitian matematika pada 27 Mei 2026.
Apa yang terjadi
Masalah jarak unit menanyakan berapa banyak pasangan titik yang terpisah tepat satu unit yang dapat ada di antara n titik pada bidang datar. Sistem OpenAI mempersembahkan konstruksi baru, melampaui ekspektasi sebelumnya dengan menghasilkan konfigurasi dengan n^(1+δ) pasangan jarak unit. Para matematikawan dari Princeton mengonfirmasi hasil tersebut, dengan tokoh-tokoh terkenal seperti Tim Gowers dan Arul Shankar mengakui pentingnya temuan ini.
Generasi matematikawan membatasi upaya mereka pada teknik tradisional, yang menunjukkan bahwa pertumbuhannya berkisar di sekitar n^(1+o(1)). Namun, saran AI ini menggabungkan wawasan geometris dengan teori bilangan aljabar yang canggih. Ini menandakan pergeseran dalam metodologi, di mana AI dapat membantu menjelajahi jalur baru dalam masalah yang telah mapan.
Mengapa ini penting
Prestasi ini menunjukkan potensi transformasi dalam kolaborasi matematika. Ini mewakili proses penelitian baru di mana mesin mengusulkan solusi kandidat. Para ahli melihat ini sebagai model yang menjanjikan untuk memperluas penemuan di berbagai bidang, termasuk teori pengkodean dan kriptografi, yang bergantung pada bukti dan konstruksi yang kompleks.
Latar Belakang
Pada 20 Mei 1946, Paul Erdős mengajukan masalah jarak unit, memicu tantangan yang terus berlanjut bagi para matematikawan. Selama beberapa dekade, para peneliti menggunakan berbagai metode, seperti mengatur titik-titik dalam kisi, untuk memahami pertanyaan tersebut tetapi mencapai hasil yang terbatas. Masalah ini tetap belum terpecahkan hingga OpenAI turun tangan dengan pendekatan inovatifnya.
Apa selanjutnya
Kolaborasi yang akan datang antara matematikawan dan AI mungkin akan mengubah metodologi di berbagai disiplin matematika, saat tim berusaha untuk berinovasi dan meningkatkan praktik tradisional dalam pemecahan masalah menjelang akhir tahun.
