Agente de pesquisa Hyra 2.0 da Tencent cria suas próprias ferramentas de proteínas, campos de força e provas e relata novos resultados matemáticos
A Tencent Hunyuan diz que o agente resolveu a conjectura dos conjuntos equiláteros de Petty na dimensão cinco e criou um modelo de design de proteínas 57 vezes mais rápido que o ProteinMPNN; os resultados não foram verificados de forma independente.
Por que importa
O Hyra 1.0 voltava os agentes a problemas isolados; a versão 2.0 os faz construir modelos e ferramentas reutilizáveis, um passo rumo à pesquisa automatizada. A Tencent cita um modelo de dobramento inverso de 1,96 milhão de parâmetros, uma família de cinco campos de força e um código de correção de erros quânticos que, segundo ela, supera em cerca de 48% o líder anterior de um desafio qLDPC. Sobre a conjectura da ação do círculo de Yau, relata um contraexemplo à forma geral, enquanto a versão simplesmente conexa segue aberta. Resultados e código estão no GitHub sob Apache 2.0, permitindo verificação externa.
Fatos principais
- Anunciado pela Tencent Hunyuan em 2 de novembro
- HyInv: 1,96 milhão de parâmetros, 57 vezes mais rápido que o ProteinMPNN
- HyPLM-Flash: 650 milhões de parâmetros, 726 bilhões de tokens
- Conjectura de Petty resolvida na dimensão cinco
- Código HyQEC [[488,123,22]], cerca de 48% melhor numa métrica qLDPC
- Publicado sob Apache 2.0 no GitHub