Model Anthropic yang Belum Dirilis Membuat Kemajuan pada Hipotesis Riemann

Anthropic telah mengumumkan bahwa sebuah model yang belum dirilis membuat kemajuan signifikan pada hipotesis Riemann, sebuah masalah terkenal yang belum terpecahkan tentang bilangan prima yang telah bertahan selama lebih dari 150 tahun. Seorang staf Anthropic tanpa pelatihan matematika yang signifikan meminta model tersebut untuk mencoba membuktikan dan kemudian membiarkannya mengoordinasikan tugas selama satu setengah hari. Model tersebut menguji 650 ide yang berbeda, berkoordinasi di antara 60 sub-agen dan menghabiskan total 31 juta token. Dua sub-agen mengembangkan ide-ide matematika kunci, sementara yang lain menyumbangkan ide, mencoba namun gagal mengembangkan ide baru, berperan sebagai validator, atau membantu menulis makalah. Dua matematikawan internal Anthropic mengonfirmasi temuan tersebut, dan bukti tersebut diformalkan menggunakan asisten pembuktian sumber terbuka Lean. Ini adalah bagian dari serangkaian terobosan matematika oleh model bahasa besar, termasuk masalah Erdos yang terpecahkan dan hasil lainnya dari model 'Astra' milik OpenAI serta pembuktian salah konjektur Jacobian oleh Anthropic. Kumpulan hasil yang semakin banyak ini telah memicu kegembiraan dan kekhawatiran, dengan beberapa matematikawan khawatir tentang atribusi dan tanggung jawab atas bukti, sementara peraih medali Fields Timothy Gowers berpendapat bahwa perubahan ini mungkin tidak separah yang terlihat.