Lab AI klaim modelnya membantah sebuah asumsi inti teori kompleksitas

OpenAI mempublikasikan solusi untuk tiga soal matematika yang sudah lama bertahan, dan salah satunya menyasar Exponential Time Hypothesis (ETH), sebuah konjektur yang berada di dalam pertanyaan P versus NP. ETH menyatakan bahwa sekelompok teka-teki logika yang sulit butuh waktu yang tumbuh secara eksponensial seiring bertambahnya variabel. Para lab mengklaim model mereka justru menemukan algoritma yang berjalan dalam waktu sub-eksponensial, lebih cepat dari yang selama ini dianggap mungkin. Beberapa jam setelah seorang matematikawan Anthropic menyebut OpenAI bersandar pada karya yang sudah ada, Anthropic menerbitkan bantahannya sendiri di GitHub. Russell Impagliazzo dan Ramamohan Paturi, yang pertama kali mengusulkan ETH pada 1999, kini ikut membantu menafsirkan hasilnya.

Klaim ini belum terkonfirmasi. Ryan Williams dari MIT, yang mengoordinasi respons komunitas dan sebelumnya menyebut banjir bukti dari OpenAI sebagai "serangan DDOS terhadap para matematikawan", mengatakan algoritma itu kemungkinan belum optimal dan sebagian pembuktiannya terasa rutin sementara beberapa bagian tampak "asing". Taruhannya nyata. Banyak makalah berasumsi pada ETH dan perlu ditinjau ulang jika konjektur ini runtuh, dan Williams memperingatkan algoritma yang lebih baik bisa mengancam kriptosistem yang bergantung pada ukuran kunci tertentu. Kepala sains OpenAI Dan Roberts dilaporkan sudah memeriksanya dan "cukup yakin" tidak ada yang jebol. Peristiwa ini sama banyaknya soal proses seperti soal matematika: para lab menguji cara merilis hasil buatan AI, ada yang diunggah ke GitHub, ada yang lewat kelompok kerja, sambil meminta para peneliti menyusun norma soal kredit dan peninjauan. Laporan TechCrunch memaparkan kronologi lengkapnya.

Kenapa ini penting

Kalau pekerjaanmu bersandar pada asumsi kompleksitas atau ukuran kunci kriptografi, ini layak dipantau cermat, meski belum ada yang pasti. Bagi yang lain, ini uji awal soal bagaimana komunitas akan memeriksa dan memberi kredit untuk matematika yang dihasilkan sebuah model.