Yao Shunyu Rekrut untuk Tencent Hunyuan AI4S dengan Masalah Matematika 50 Tahun Terpecahkan

Yao Shunyu, seorang peneliti AI terkemuka, secara pribadi mulai merekrut untuk tim Tencent Hunyuan AI4S. Alih-alih deskripsi pekerjaan yang terperinci, dia memposting pesan sederhana dengan hasil penelitian: agen yang dikembangkan sendiri, Hyra, telah memajukan masalah terbuka berusia 50 tahun dalam matematika ke hasil terbaik baru. Hyra, yang dibangun di atas model Hy3 (295B parameter total, 21B aktif), menemukan konstruksi yang membuktikan bahwa batas atas dalam masalah tentang jumlah dan selisih himpunan bilangan bulat dapat didekati secara sembarang. Agen pertama-tama mencari hasil yang lebih baik, kemudian beralih ke bahasa alami untuk mengusulkan konstruksi matematika dan bukti, berjalan selama sekitar 24 jam. Tim secara independen memverifikasi dan memformalkan bukti dalam Lean 4. Dalam tes AI4S awal, Hyra-1.0 mencapai hasil yang mengesankan di berbagai bidang termasuk matematika, astronomi, komputasi kuantum, dan desain obat, termasuk memecahkan 29 dari 55 masalah terbuka, menemukan formula prediktif dari data bintik matahari (R²=0,77), meningkatkan algoritma routing kuantum sebesar 44,4%, dan menghasilkan molekul kandidat PARP1. Tim ini bertujuan untuk mencapai otomatisasi penuh dalam penelitian AI, di mana AI mengusulkan hipotesis, menjalankan eksperimen, dan melakukan iterasi. Untuk tujuan itu, mereka mencari peneliti AI (untuk arsitektur agen, pembelajaran penguatan, pembelajaran konteks, evaluasi, sistem pelatihan, kernel GPU) dan ilmuwan interdisipliner yang dapat menerjemahkan tujuan ilmiah menjadi tugas yang dapat dieksekusi dan menilai validitas hasil AI. Tren ini mencerminkan pergeseran yang lebih luas di mana AI menjadi peneliti yang sesungguhnya, terbukti dari komentar populer bahwa ini mungkin Medali Fields terakhir yang diberikan untuk karya murni manusia. Perlu dicatat, OpenAI dan Anthropic telah bersama-sama menyerukan mekanisme internasional untuk mengoordinasikan kecepatan pengembangan AI, menyoroti realitas ganda dari peningkatan diri AI dan kebutuhan akan kontrol.