L'agent de recherche Hyra 2.0 de Tencent conçoit ses propres outils pour protéines, champs de force et preuves et annonce de nouveaux résultats mathématiques
Tencent Hunyuan affirme que l'agent a réglé la conjecture des ensembles équilatéraux de Petty en dimension cinq et créé un modèle de conception de protéines 57 fois plus rapide que ProteinMPNN ; les résultats n'ont pas été vérifiés de façon indépendante.
Pourquoi c’est important
Hyra 1.0 visait des problèmes isolés ; la version 2.0 fait construire aux agents des modèles et outils réutilisables, un pas vers la recherche automatisée. Tencent cite un modèle de repliement inverse de 1,96 million de paramètres, une famille de cinq champs de force et un code de correction d'erreurs quantiques qui, selon lui, dépasse d'environ 48 % l'ancien leader d'un défi qLDPC. Sur la conjecture d'action du cercle de Yau, il annonce un contre-exemple à la forme générale, la version simplement connexe restant ouverte. Résultats et code sont sur GitHub sous licence Apache 2.0, ce qui permet aux experts extérieurs de les vérifier.
Faits clés
- Annoncé par Tencent Hunyuan le 2 novembre
- HyInv : 1,96 million de paramètres, 57 fois plus rapide que ProteinMPNN
- HyPLM-Flash : 650 millions de paramètres, 726 milliards de jetons
- Conjecture de Petty réglée en dimension cinq
- Code HyQEC [[488,123,22]], environ 48 % de mieux sur une métrique qLDPC
- Publié sous licence Apache 2.0 sur GitHub