Yao Shunyu stellt für Tencent Hunyuan AI4S ein – 50 Jahre altes Mathematikproblem gelöst

Yao Shunyu, ein prominenter KI-Forscher, hat persönlich mit der Rekrutierung für Tenzents Hunyuan AI4S-Team begonnen. Anstelle einer detaillierten Stellenbeschreibung veröffentlichte er eine schlichte Nachricht mit einem Forschungsergebnis: Ihr selbst entwickelter Agent Hyra hat ein 50 Jahre altes offenes Problem der Mathematik auf ein neues bestes Ergebnis verbessert. Hyra, basierend auf dem Hy3-Modell (295B Gesamtparameter, 21B aktiv), fand eine Konstruktion, die beweist, dass die obere Schranke in einem Problem über Summen und Differenzen von Integer-Mengen beliebig genau angenähert werden kann. Der Agent suchte zunächst nach besseren Ergebnissen und wechselte dann zu natürlicher Sprache, um eine mathematische Konstruktion und einen Beweis vorzuschlagen, was etwa 24 Stunden dauerte. Das Team verifizierte und formalisierte den Beweis unabhängig in Lean 4. In ersten AI4S-Tests erzielte Hyra-1.0 beeindruckende Ergebnisse in Mathematik, Astronomie, Quantencomputing und Wirkstoffdesign, darunter die Lösung von 29 von 55 offenen Problemen, die Entdeckung einer Vorhersageformel aus Sonnenfleckendaten (R²=0,77), eine Verbesserung eines Quantenrouting-Algorithmus um 44,4 % und die Generierung eines PARP1-Kandidatenmoleküls. Das Team strebt eine vollständige Automatisierung in der KI-Forschung an, bei der KI Hypothesen vorschlägt, Experimente durchführt und iteriert. Zu diesem Zweck suchen sie sowohl KI-Forscher (für Agentenarchitektur, Reinforcement Learning, Kontextlernen, Evaluierung, Trainingssysteme, GPU-Kernel) als auch interdisziplinäre Wissenschaftler, die wissenschaftliche Ziele in ausführbare Aufgaben übersetzen und die Gültigkeit von KI-Ergebnissen bewerten können. Dieser Trend spiegelt einen breiteren Wandel wider, bei dem KI zu einem echten Forscher wird, wie ein beliebter Kommentar zeigt, dass dies möglicherweise die letzte Fields-Medaille ist, die ausschließlich an menschliche Arbeit vergeben wird. Bemerkenswerterweise haben OpenAI und Anthropic gemeinsam zu internationalen Mechanismen aufgerufen, um die Geschwindigkeit der KI-Entwicklung zu koordinieren, was die doppelte Realität von KI-Selbstverbesserung und der Notwendigkeit von Kontrolle hervorhebt.