Model Belum Dirilis Anthropic Mencapai Kemajuan pada Masalah Matematika Kunci

Hipotesis Riemann, salah satu masalah matematika paling terkenal yang belum terpecahkan tentang distribusi bilangan prima, masih belum terpecahkan selama lebih dari 150 tahun dengan hadiah sebesar 1 juta dolar untuk pembuktiannya. Anthropic telah mengumumkan bahwa sebuah model yang belum dirilis mencapai kemajuan signifikan, secara signifikan menaikkan batas bawah solusi yang diketahui berlaku untuk hipotesis tersebut. Seorang karyawan dengan latar belakang matematika terbatas menyarankan model untuk mencoba masalah tersebut dan kemudian membiarkannya mengoordinasikan tugas selama satu setengah hari berikutnya. Selama waktu itu, model mencoba 650 jalur solusi, mengoordinasikan 60 sub-agen dan menghabiskan 31 juta token keluaran. Di antara sub-agen, 2 mengembangkan solusi matematika utama, 13 menghasilkan varian baru untuk agen-agen tersebut, 30 mencoba tetapi gagal menghasilkan ide baru, 13 berperan sebagai validator, dan 2 membantu menulis makalah awal. Hasilnya diverifikasi oleh dua staf matematikawan dan diformalkan dalam asisten pembuktian Lean. Beberapa tahun terakhir telah melihat model AI memecahkan beberapa masalah Pál Erdős, dengan model Astra dari OpenAI memecahkan sepuluh masalah dan model Anthropic lainnya menyangkal hipotesis Jacobian yang telah lama berdiri. Pencapaian ini memicu kegembiraan dan kekhawatiran di komunitas matematika mengenai kepengarangan dan tanggung jawab atas kebenaran, dengan beberapa pihak berpendapat bahwa teorema tidak perlu dikaitkan dengan peneliti tertentu.