Um modelo de IA resolve dez problemas matemáticos abertos há décadas

Um modelo de inteligência artificial resolveu dez problemas de investigação matemática que permaneciam sem solução há mais de uma década. Os resultados abrangem áreas como geometria de alta dimensão, teoria dos códigos, complexidade de circuitos, teoria dos grupos, álgebras de operadores, complexidade quântica, criptografia baseada em reticulados e combinatória extremal. A resolução destes problemas, conseguida através de uma versão interna de um novo modelo denominado Astra, exigiu o equivalente a aproximadamente dois mil dólares em custos de processamento. A empresa, que procura colocar ferramentas de investigação ao alcance de cientistas e matemáticos, lançou recentemente uma iniciativa que oferece a cem mil académicos acesso gratuito aos seus modelos mais avançados. Esta ação surge após a descoberta de uma refutação gerada por IA da conjetura da distância unitária de Erdős, um marco que já inspirou novos desenvolvimentos na comunidade matemática. Cada solução foi formalizada num certificado Lean e acompanhada de uma narração do processo de raciocínio do modelo. A empresa sublinha a importância de atribuição correcta, considerando que reivindicar autoria humana exclusiva de provas inteiramente geradas por IA distorceria tanto o papel do sistema como a natureza genuína do trabalho intelectual humano. Espera-se que a comunidade matemática se envolva profundamente com estes resultados e os explore numa perspectiva de futura investigação.