Überblick · letzte 24h

1. Chinesische Forscher erzielen Durchbruch: Open-Source-KI-Agent „Hyra“ löst Mathematikproblem, an dem AlphaEvolve, GPT und Claude scheiterten
   Ein neues Preprint auf arXiv löst ein seit langem bestehendes Problem in der additiven Kombinatorik, wobei die entscheidende Konstruktion von Hyra vorgeschlagen wurde, einem Open-Source-KI-Agenten von Tencent, der auf dem Modell Hy3 basiert. Trotz Versuchen von AlphaEvolve von Google DeepMind, GPT und Claude gelang keiner der Durchbruch, und Hyras Lösung wurde im Beweisassistenten Lean formal verifiziert. Diese Leistung markiert einen Meilenstein als erstes bedeutendes KI-Mathematikergebnis durch ein Open-Source-Modell, und der Mathematiker Thomas Bloom hat das Ergebnis unterstützt und sogar „Hyra“ als Koautor aufgeführt.