Agente de IA Tencent Hunyuan resolve problema matemático de 50 anos, confirmando o índice de crescimento ótimo de 2

ChainCatcher relata 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 estabeleceu um limite superior de 2, mas nas mais de 50 décadas seguintes, as melhores construções alcançaram apenas um expoente ligeiramente acima de 1,1. Essa conquista demonstra o potencial dos agentes de IA na área de raciocínio matemático puro. O Tencent afirmou 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.