Claude Memajukan Masalah Matematika Berusia 167 Tahun: 31 Juta Token, 60 Agen, dan Lompatan dari 41,6% menjadi 67,2%

Model Claude dari Anthropic telah berhasil memecahkan kebuntuan pada masalah matematika berusia 167 tahun, mencapai terobosan signifikan. Masalah yang diajukan pada tahun 1859 ini berakar pada teori bilangan analitik dan melibatkan sifat dari bilangan prima. Kinerja Claude pada masalah ini melonjak dari 41,6% menjadi 67,2% setelah menerapkan rezim pelatihan baru. Model tersebut mengonsumsi 31 juta token, yang setara dengan sekitar 25,6 juta kata, dan selama proses itu, menghasilkan 650 GB data. Untuk menangani masalah tersebut, Claude menggunakan 60 agen khusus, masing-masing menganalisis sekitar 2400 makalah, termasuk 54 makalah relevan dari arXiv, untuk memastikan penalarannya benar. Penggunaan pembelajaran penguatan dan verifikasi melalui Lean, asisten pembuktian, sangat penting. Anthropic mengaitkan keberhasilan ini dengan kombinasi komputasi skala besar dan verifikasi formal, menandai tonggak baru dalam penemuan matematika yang dibantu AI.