Özet · son 24 saat

1. Çinli Araştırmacılar Büyük Başarıya İmza Attı: Açık Kaynak Yapay Zekâ Ajanı 'Hyra', AlphaEvolve, GPT ve Claude'ı Şaşkına Çeviren Matematik Problemini Çözdü
   arXiv'de yayınlanan yeni bir ön baskı, toplamsal kombinatoryal analizde uzun süredir çözülemeyen bir problemi çözüyor ve anahtar yapı, Tencent'in Hy3 modeline dayanan açık kaynak yapay zekâ ajanı Hyra tarafından öneriliyor. Google DeepMind'dan AlphaEvolve, GPT ve Claude'un denemelerine rağmen hiçbiri başarılı olamadı ve Hyra'nın çözümü, Lean kanıt asistanında resmi olarak doğrulandı. Bu başarı, açık kaynak bir model tarafından gerçekleştirilen ilk büyük yapay zekâ matematik sonucu olarak bir dönüm noktası niteliği taşıyor ve matematikçi Thomas Bloom sonucu onaylayarak 'Hyra'yı ortak yazar olarak listeledi.