Delapan dekade setelah Paul Erdős mengajukan masalah jarak satuan pada 1946, sebuah AI serbaguna telah menghasilkan konfigurasi yang mengalahkan batas yang selama ini diduga, membuktikan setidaknya pasangan jarak satuan n^(1+δ) untuk suatu δ>0. Matematikawan di Princeton telah memverifikasi hasil tersebut, dengan figur seperti Tim Gowers dan Arul Shankar menyebutnya sebagai kemajuan yang signifikan.
- Poin Penting:
- OpenAI menyelesaikan teka-teki Paul Erdős dari 1946 dengan konstruksi jarak satuan n^(1+δ).
- Princeton memverifikasi hasilnya, memberi dorongan kredibilitas AI 2026 dalam matematika.
- Tim Gowers mengatakan kemajuan ini dapat memengaruhi kriptografi dan pembuktian di luar geometri.
Teka-teki geometri berusia 80 tahun akhirnya bergeser ketika sistem OpenAI merangkai sebuah konstruksi yang tidak biasa untuk melampaui ekspektasi yang sudah lama. Masalah jarak satuan, yang diajukan oleh Paul Erdős pada 1946, menanyakan berapa banyak pasangan titik yang tepat berjarak satu unit dapat ada di antara n titik di bidang; AI menemukan konfigurasi yang tumbuh lebih cepat daripada yang diizinkan oleh buku pedoman klasik. Matematikawan Princeton memeriksa pekerjaannya, dan tokoh-tokoh besar seperti Tim Gowers dan Arul Shankar pun memperhatikan. Di luar sekadar kebanggaan, hasil ini mengisyaratkan jenis kolaborator baru bagi matematika, yang memakai inferensi umum untuk menembus heuristik manusia.
AI memecahkan misteri matematika berusia 80 tahun dengan solusi terobosan
Sebagian masalah terus mendorong kesabaran manusia hingga ke tepi. Masalah jarak satuan, yang diajukan pada 1946 oleh Paul Erdős, mengajukan pertanyaan yang terdengar ringkas: dengan n titik pada bidang datar, berapa banyak pasangan yang bisa tepat berjarak 1 unit. Generasi demi generasi mengatasinya dengan kisi-kisi, simetri, dan kegigihan. Kemajuan datang dalam irisan tipis, tak pernah sebagai lompatan. Lalu, diam-diam, sebuah AI masuk.
Masalah puluhan dekade, akhirnya terselesaikan
Pendekatan klasik menata titik dalam kisi-kisi persegi, menyesuaikan skala untuk mengakali lebih banyak pasangan pada jarak 1. Metode itu menyarankan pertumbuhan sedikit di atas linear, kira-kira n dikalikan faktor yang nyaris mengalahkan n saat membesar. Bidang ini kemudian menetap pada gagasan bahwa batas bawah terbaik berada di sekitar n^(1+o(1)), selisih di atas n, bukan langkah.
Cara AI melampaui dugaan
Menurut para peneliti yang terlibat, model internal dari OpenAI mengusulkan keluarga konfigurasi titik baru yang melewati ambang batas yang selama ini dianggap sulit dijangkau. Sistem tersebut menghasilkan konstruksi dengan setidaknya n^(1+δ) pasangan jarak satuan, untuk δ tetap yang lebih besar dari 0 dan tidak memudar saat n meningkat. Itu adalah peningkatan polinomial yang nyata, bukan sekadar pembulatan.
Pendekatan ini memadukan wawasan geometris dengan teori bilangan aljabar tingkat lanjut, seperangkat alat yang mengejutkan untuk teka-teki hitung spasial. Pendekatan itu tidak berasal dari mesin yang khusus matematika. Sebaliknya, ia muncul dari model inferensi umum yang sedang dievaluasi, yang menunjukkan kemampuan penalaran lebih luas yang dapat menavigasi antardomain saat ruang pencarian sangat besar.
Dikonfirmasi pakar, dirayakan oleh bidangnya
Matematikawan independen di Universitas Princeton meninjau konstruksi AI tersebut dan mengonfirmasi hasilnya, menurut orang-orang yang akrab dengan peninjauan. Suara-suara terkemuka, termasuk Sir Tim Gowers dan Arul Shankar, memuji kemajuan itu sebagai langkah bermakna bagi bidang. Ini adalah kasus ketika batas bawah baru yang lama mandek akhirnya bergeser karena sebuah AI menemukan lensa yang tepat.
Implikasi bagi matematika dan seterusnya
Apa artinya ketika model serbaguna menembus dugaan yang mengakar. Untuk satu hal, ini mengisyaratkan alur kerja di mana mesin memunculkan kandidat struktur dan manusia menguji ulang. Selain geometri, disiplin seperti kombinatorika, teori pengkodean, dan kriptografi bisa melihat kolaborasi serupa ketika pembuktian bergantung pada konstruksi yang langka.
