Ç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 'Settling the Optimal Exponent Relating Sumsets and Difference Sets' başlıklı yeni bir ön baskı, toplamsal kombinatorikte önde gelen yapay zeka sistemlerini (Google DeepMind'dan AlphaEvolve, GPT ve Claude dahil) şaşırtan merkezi bir soruyu çözüyor. Problem, toplam kümesinin fark kümesine göre büyüme oranının sınırlandırılmasıyla ilgili; önceki yapay zeka destekli sonuçlar yalnızca 1,14 civarında üsler elde edebilmişken, gerçek üst sınırın tam olarak 2 olduğu kanıtlandı. Atılım, araştırmacıların yapay zeka ajanı Hyra'nın yalnızca açık listeler yerine doğal dilde yapılar ve kanıt taslakları önermesine izin vermesiyle geldi; bu, daha sonra manuel olarak ve Lean 4 biçimsel kanıtıyla doğrulanan yeni bir yapıya yol açtı. Tencent'ten, Hy3 modeline (Apache 2.0 altında yayınlanan 295B MoE modeli) dayanan açık kaynaklı bir araştırma ajanı olan Hyra, aramayı yönlendirmek için jüri olarak kullanılan GPT-5.6 Sol ile yaklaşık bir gün çalıştı, ancak nihai yapı bağımsız olarak insanlar tarafından kontrol edildi. Yapay zeka iddialarını titizlikle incelemesiyle tanınan matematikçi Thomas Bloom, sonucu doğruladı ve hatta teoremi yeniden formüle ederek yazarları 'Lin, Li ve Hyra' olarak listeledi; böylece yapay zekayı ortak yazar olarak kabul etti. Ön baskı henüz hakem değerlendirmesinden geçmemiş olsa da, Lean'de makine tarafından kontrol edilen bir kanıt ile bağımsız insan doğrulamasının birleşimi, bunu matematikte nadir ve güvenilir bir yapay zeka katkısı haline getiriyor; özellikle de önceki kapalı model başarılarının aksine açık kaynaklı bir modelden gelmesi dikkat çekicidir.