Tencents Forschungsagent Hyra 2.0 baut eigene Werkzeuge für Proteine, Kraftfelder und Beweise und meldet neue Mathematikergebnisse
Laut Tencent Hunyuan hat der Agent Pettys Vermutung zu gleichseitigen Mengen in Dimension fünf entschieden und ein Proteindesign-Modell gebaut, das 57-mal schneller als ProteinMPNN ist; unabhängig geprüft sind die Ergebnisse nicht.
Warum es wichtig ist
Hyra 1.0 richtete Agenten auf Einzelprobleme; Version 2.0 lässt sie wiederverwendbare Modelle und Werkzeuge bauen, ein Schritt hin zu automatisierter Forschung. Tencent nennt ein Inverse-Folding-Modell mit 1,96 Millionen Parametern, eine Familie aus fünf Kraftfeldern und einen Quantenfehlerkorrektur-Code, der den bisherigen Spitzenreiter einer qLDPC-Challenge um etwa 48 % übertreffen soll. Zu Yaus Kreiswirkungs-Vermutung meldet es ein Gegenbeispiel zur allgemeinen Form; die einfach zusammenhängende Version bleibt offen. Ergebnisse und Code liegen unter Apache 2.0 auf GitHub, sodass externe Fachleute sie prüfen können.
Die wichtigsten Fakten
- Von Tencent Hunyuan am 2. November vorgestellt
- HyInv: 1,96 Mio. Parameter, 57-mal schneller als ProteinMPNN
- HyPLM-Flash: 650 Mio. Parameter, 726 Mrd. Token
- Pettys Vermutung in Dimension fünf entschieden
- HyQEC-Code [[488,123,22]], rund 48 % besser bei einer qLDPC-Kennzahl
- Unter Apache 2.0 auf GitHub veröffentlicht