Ringkasan · 24 jam terakhir

1. Peneliti China Capai Terobosan: Agen AI Sumber Terbuka 'Hyra' Memecahkan Masalah Matematika yang Membuat AlphaEvolve, GPT, dan Claude Tercengang
   Sebuah pracetak baru di arXiv menyelesaikan masalah lama dalam kombinatorika aditif, dengan konstruksi kunci yang diajukan oleh Hyra, agen AI sumber terbuka dari Tencent yang berbasis pada model Hy3. Meskipun ada upaya dari AlphaEvolve milik Google DeepMind, GPT, dan Claude, tidak ada yang berhasil, dan solusi Hyra diverifikasi secara formal dalam asisten pembuktian Lean. Prestasi ini menandai tonggak sejarah sebagai hasil matematika AI besar pertama oleh model sumber terbuka, dan matematikawan Thomas Bloom telah mendukung hasil tersebut, bahkan mencantumkan 'Hyra' sebagai rekan penulis.