Yao Shunyu contrata para a Tencent Hunyuan AI4S com um problema matemático de 50 anos resolvido

Yao Shunyu, um pesquisador proeminente em IA, começou pessoalmente a recrutar para o time Tencent Hunyuan AI4S. Em vez de uma descrição detalhada do cargo, ele publicou uma mensagem simples com um resultado de pesquisa: seu agente autodesenvolvido Hyra avançou um problema em aberto em matemática, com 50 anos de idade, para um novo melhor resultado. Hyra, construído sobre o modelo Hy3 (295B parâmetros totais, 21B ativos), encontrou uma construção que prova que o limite superior em um problema sobre somas e diferenças de conjuntos de inteiros pode ser abordado arbitrariamente de perto. O agente primeiro procurou por melhores resultados e depois mudou para a linguagem natural para propor uma construção matemática e a prova, rodando por cerca de 24 horas. O time verificou independentemente e formalizou a prova no Lean 4. Em testes iniciais de AI4S, o Hyra-1.0 alcançou resultados impressionantes em matemática, astronomia, computação quântica e design de medicamentos, incluindo a resolução de 29 dos 55 problemas em aberto, a descoberta de uma fórmula preditiva a partir de dados de manchas solares (R² = 0,77), a melhoria de um algoritmo de roteamento quântico em 44,4% e a geração de uma molécula candidata a PARP1. O time visa alcançar automação total na pesquisa de IA, onde a IA propõe hipóteses, executa experimentos e itera. Para isso, procuram tanto pesquisadores de IA (para arquitetura de agentes, aprendizado por reforço, aprendizado de contexto, avaliação, sistemas de treinamento, kernels de GPU) quanto cientistas interdisciplinares que possam traduzir objetivos científicos em tarefas executáveis e julgar a validade dos resultados da IA. Essa tendência reflete uma mudança mais ampla em que a IA está se tornando uma verdadeira pesquisadora, como evidenciado por um comentário popular de que esta pode ser a última Medalha Fields concedida a trabalho puramente humano. Notavelmente, a OpenAI e a Anthropic pediram conjuntamente mecanismos internacionais para coordenar a velocidade do desenvolvimento da IA, destacando a dupla realidade do autoaperfeiçoamento da IA e a necessidade de controle.