Um chinês Ai Segundo seus desenvolvedores, o sistema superou seus concorrentes americanos na resolução de problemas matemáticos no nível da Olimpíada Internacional de Matemática (IMO), levando menos da metade do tempo e utilizando recursos computacionais mais simples, segundo seus desenvolvedores.
Ao contrário dos modelos existentes limitados à resolução de problemas, o sistema chinês também pode gerar problemas matemáticos – três dos quais apareceram num exame de qualificação da seleção chinesa e numa Olimpíada sénior nos Estados Unidos em 2024.
Pesquisadores do Instituto de Inteligência Artificial Geral de Pequim e, “Apresentamos um sistema neurossimbólico, que descobre, propõe e prova problemas de geometria no nível da IMO por meio da busca em árvores.” Universidade de Pequim escreveu segunda-feira na revista Nature Machine Intelligence.
Os desenvolvedores do Tonggeometry disseram que o sistema “age como um treinador que projeta problemas de treinamento e estratégias de solução, em vez de apenas um aluno resolvendo problemas”.
Baseando-se em 196 problemas de geometria de Olimpíadas anteriores, o sistema gerou 6,7 bilhões de problemas de geometria que exigiram construções auxiliares.
