Astra dari OpenAI Memecahkan 10 Masalah Matematika Besar, tapi Memicu Kekhawatiran Mendalam

Pada 1 Agustus, OpenAI menerbitkan posting blog yang mengklaim bahwa versi internal Astra, model bahasa generasi berikutnya, telah memecahkan atau secara tegas memajukan sepuluh masalah terbuka dalam matematika dan ilmu komputer teoretis. Masalah-masalah tersebut mencakup topik-topik lanjutan seperti geometri dimensi tinggi, teori pengkodean, kompleksitas sirkuit aritmetika, teori grup, aljabar operator, kompleksitas kuantum, kriptografi berbasis kisi, dan kombinatorika ekstremal. OpenAI mengatakan seluruh pencapaian itu menghabiskan biaya sekitar $2.000 per masalah dalam bentuk token, dengan hasil yang disertifikasi menggunakan asisten pembuktian formal Lean. Pengumuman tersebut memicu kegembiraan dan kekhawatiran di kalangan komunitas matematika. Peneliti Jay Cummins mencatat bahwa untuk pertama kalinya, AI memecahkan masalah yang secara pribadi telah ia kerjakan selama bertahun-tahun, membuat kekalahan itu sulit diterima. Investor Nicolas Bustamante mempertanyakan masa depan Fields Medal, bertanya siapa yang mendapat penghargaan ketika masalah hanya berjarak satu perintah. Yang perlu diperhatikan, peraih Fields Medal Jacob Tsimerman menghentikan sementara jabatannya di Universitas Toronto untuk bergabung dengan OpenAI pada akhir Juli, dengan fokus bukan pada kemampuan matematika melainkan pada keselamatan AI. Terence Tao, peraih Fields Medal lainnya, memperingatkan tentang perubahan yang berbahaya: dengan pembuatan bukti otomatis oleh AI, matematika bergerak dari kelangkaan menuju kelimpahan, tetapi para peneliti tidak dapat mengimbangi verifikasi dan 'pencernaan' bukti. Ia membandingkan bukti AI mentah dengan 'bangkai hewan misterius' yang dibuang ke acara potluck komunitas, di mana tidak ada yang punya waktu untuk membersihkan dan memasaknya. Tsimerman juga menyayangkan maraknya 'sampah matematika' dari pengguna yang tidak memiliki keahlian yang menyerahkan keluaran ChatGPT mentah ke laboratorium. Keduanya memperingatkan bahwa solusi formal untuk dugaan-dugaan terkenal dapat membunuh pendanaan dan minat pada topik-topik tersebut, meskipun tidak ada manusia yang memahami solusinya, yang mengarah pada disiplin yang berkembang tanpa pemahaman.