Meta constrói IA capaz de executar raciocínio matemático avançado

O provador de teorema neural da empresa conseguiu resolver 10 problemas da Olimpíada Internacional de Matemática e alcançar 67% de precisão no benchmark matemático Minif2f.

Utilizando o método HyperTree Proof Search (HTPS), o modelo foi treinado com um conjunto de dados de provas matemáticas bem-sucedidas, para então aprender a aplicar esse conhecimento em novos tipos de problemas.

IAs desse tipo possuem aplicações nas áreas aeroespacial, de verificação de software, criptografia e automação de tarefas industriais críticas.