AI dalam matematika membuka era keemasan baru penemuan ilmiah
Model AI generatif telah membantu memecahkan hipotesis grafik geometri terkenal dari Paul Erdős yang telah membingungkan matematikawan selama 80 tahun. Pembelajaran mesin kini digunakan untuk menghasilkan dan memverifikasi jutaan rantai logika, dipasangkan dengan pembukti teorema interaktif seperti Lean untuk menghindari halusinasi. Ini menandai pergeseran di mana AI memperkuat kecerdasan manusia dalam matematika, bukan menggantikannya.
Matematikawan Hungaria Paul Erdős meninggalkan ratusan soal tak terpecahkan dengan hadiah uang tunai, salah satunya adalah hipotesis jarak satuan dalam teori graf geometris. Hipotesis ini pada dasarnya menanyakan jumlah maksimum koneksi dengan panjang yang sama di antara sekumpulan titik, sebuah teka-teki yang menolak intuisi manusia selama hampir 80 tahun. Sebuah algoritma generatif menemukan struktur spasial non-trivial yang terlewatkan oleh manusia, sehingga menyelesaikan masalah secara parsial. Saat ini, kecerdasan buatan menangani pekerjaan yang membosankan dalam menghitung jutaan kombinasi dan menemukan pola tersembunyi, sementara pembuktian teorema interaktif seperti Lean atau Coq memverifikasi setiap langkah, sehingga menghilangkan halusinasi. Terlepas dari keberhasilan ini, masalah fundamental seperti hipotesis Riemann atau persamaan Navier-Stokes tetap belum terpecahkan, karena memerlukan bahasa konseptual yang baru. Bagi komunitas ilmiah berbahasa Rusia, pergeseran komputasional ini memanfaatkan tradisi matematika yang kuat, dengan aplikasi mulai dari optimasi jaringan saraf hingga kriptografi tahan-kuantum. Kecerdasan buatan bertindak sebagai eksoskeleton digital bagi otak manusia, membebaskan peneliti dari tugas rutin dan memungkinkan mereka fokus pada tujuan strategis serta visi konseptual.
Sumber: Habr — хаб ИИ —
asli