Agente de IA Tencent Hunyuan resolve problema matemático de 50 anos, confirma índice de crescimento ideal de 2

Mars Finance noticia que a conta oficial do Tencent Hunyuan no X publicou que seu agente de pesquisa, Hyra, em colaboração com o modelo Hy3, provou explicitamente um problema que havia desafiado a comunidade matemática por mais de 50 anos: o expoente ótimo para a taxa de crescimento do tamanho do conjunto soma |A+A| em relação ao tamanho do conjunto diferença |A-A| para um conjunto finito de inteiros A é exatamente 2. Anteriormente, um teorema de 1969 havia estabelecido um limite superior de 2, mas nas mais de 50 décadas seguintes, as melhores construções apenas superaram ligeiramente o expoente 1,1. O resultado demonstra o potencial dos agentes de IA na área de raciocínio matemático puro. O Tencent afirma que o Hyra é um agente de pesquisa de IA desenvolvido internamente, projetado especificamente para auxiliar na exploração de problemas matemáticos e científicos complexos. A conclusão ainda precisa ser confirmada por revisão por pares da comunidade matemática.