OpenAI Umumkan Astra, Model AI yang Memecahkan Sepuluh Masalah Matematika yang Selama Puluhan Tahun Sulit Dipecahkan Para Matematikawan

OpenAI telah secara resmi mengonfirmasi keberadaan model AI baru, Astra, yang digambarkannya sebagai 'keluarga model utama berikutnya'. Versi internal Astra membantu memecahkan sepuluh masalah terbuka dalam matematika dan ilmu komputer teoretis yang telah diteliti para peneliti tanpa hasil selama setidaknya sepuluh tahun, dan dalam beberapa kasus bahkan lebih lama. Masalah-masalah yang terpecahkan mencakup topik-topik dalam geometri berdimensi tinggi, teori pengkodean, teori grup, kompleksitas kuantum, kriptografi berbasis kisi, dan kombinatorika ekstrem. Yang perlu dicatat, Astra membangun contoh pertama dari grup non-sofik, sebuah objek yang keberadaannya telah dibahas selama bertahun-tahun. Matematikawan Thomas Bloom dari Universitas Manchester menyebut hasil tersebut sebagai 'kabar besar', seraya mencatat bahwa hal itu lebih signifikan daripada contoh tandingan untuk konjektur jarak satuan pada bulan Mei, tetapi ia tidak percaya bahwa matematikawan akan segera digantikan oleh AI, karena sistem AI dibangun di atas kerja jangka panjang komunitas matematika. Noam Brown, pengembang teknologi penalaran di OpenAI, mengatakan bahwa perusahaan telah mencoba menerapkan Astra pada masalah terbuka terkenal lainnya tetapi sejauh ini belum berhasil, dan ia menulis di X: 'Sayangnya, belum ada masalah Hadiah Milenium (belum).' Institut Matematika Clay membayar 1 juta dolar AS untuk masing-masing dari tujuh Masalah Hadiah Milenium, yang hanya satu di antaranya telah terpecahkan sejak tahun 2000. OpenAI memperkirakan bahwa komputasi yang diperlukan untuk kesepuluh solusi tersebut akan menelan biaya sekitar 2.000 dolar AS dengan tarif API saat ini untuk model Sol-nya. Para peneliti mengubah ide-ide tersebut menjadi makalah ilmiah lengkap, dan semua bukti diformalkan dalam Lean, sebuah sistem yang menggabungkan bahasa pemrograman dan pemeriksa bukti interaktif, yang menyediakan bukti terverifikasi mesin. OpenAI telah menerbitkan penalaran langkah demi langkah untuk setiap hasil, menekankan bahwa peneliti bertanggung jawab atas publikasi akhir tetapi ide matematika dan logika pembuktian berasal dari Astra. Sebelumnya, OpenAI mengatakan bahwa mereka sedang mengembangkan keluarga model baru untuk tugas-tugas yang panjang dan kompleks, dan CEO Sam Altman memperkenalkan Astra kepada pejabat pemerintah dan regulator AS, menyoroti kemampuannya untuk mengoordinasikan banyak agen AI. Menurut sumber, Astra akan bergabung dengan keluarga model Sol, Terra, dan Luna, dan nama komersialnya tidak diketahui. OpenAI berjanji untuk menerbitkan laporan teknis yang terperinci. Model-model baru sedang menjalani pengujian internal dan akan menjadi yang pertama dievaluasi di bawah prosedur AS untuk model AI canggih, dengan tantangan utama adalah penalaran rantai panjang yang stabil.