1º de janeiro, a principal revista acadêmica Nature Machine Intelligence publicou um grande avanço de uma equipe de pesquisa chinesa: o primeiro sistema de inteligência artificial geral do mundo com dupla capacidade de “criação autônoma de problemas” e “resolução automática” — o modelo TongGeometry — foi oficialmente apresentado. Esse resultado marca uma mudança de paradigma na área de raciocínio matemático em IA: de “imitação passiva” para “criação ativa”.
Mudança de paradigma: de “máquina de resolver problemas” a “criador matemático”
Durante muito tempo, a IA na matemática atuou principalmente como alguém que “responde provas”. O TongGeometry, liderado pelo Dr. Zhang Chi, do Instituto de Pesquisa de Inteligência Artificial Geral de Pequim, foi o primeiro a conferir à IA algo semelhante ao “senso estético” de um matemático humano. Ele consegue identificar e criar problemas geométricos de alta qualidade a partir de combinações espaciais em escala astronômica.
Atualmente, sua capacidade de criação original já recebeu reconhecimento oficial no meio das competições: três novos problemas de geometria gerados pelo sistema foram selecionados para a Olimpíada Nacional de Matemática para Estudantes do Ensino Médio de 2024 (região de Pequim) e para a Ersatz Math Olympiad, uma olimpíada de elite dos Estados Unidos. Esta é a primeira vez que problemas originais criados por IA entram em competições matemáticas humanas de alto nível.
Salto de desempenho: uma GPU de uso doméstico resolve 25 anos de problemas de olimpíada em minutos
Em eficiência prática, o TongGeometry demonstra uma vantagem disruptiva da tecnologia original chinesa:
- Computação leve: Diferente do AlphaGeometry, da DeepMind (Google), que exige grandes clusters de computação, o TongGeometry roda com apenas uma placa de vídeo RTX 4090 de nível consumidor.
- Eficiência extrema: O sistema resolve todos os problemas de geometria da Olimpíada Internacional de Matemática (IMO) dos últimos 25 anos em apenas 38 minutos.
- Compressão de caminhos: Graças à inovadora tecnologia de “representação normalizada”, o sistema reduz o espaço de busca em várias ordens de magnitude, eliminando definitivamente o problema de “explosão de caminhos” que limitava as IAs tradicionais.
Avaliação e significado
Segundo o Dr. Zhang Chi, primeiro autor do artigo, o sucesso do TongGeometry está em ter superado a etapa de “modificar soluções existentes” para alcançar a criação independente e autônoma. Esse alto nível de autonomia lógica e eficiência de raciocínio abre novos caminhos para a aplicação da inteligência artificial geral (AGI) em domínios de lógica complexa.