A OpenAI anunciou que seu novo modelo de inteligência artificial, batizado de Astra, resolveu dez problemas matemáticos que permaneciam sem solução há décadas. O custo total para a produção dos resultados foi de US$ 2 mil, segundo a empresa.
Publicado em 1º de agosto, o trabalho inclui uma coleção de 249 páginas com provas verificáveis por máquina para cada resultado obtido. Os problemas abrangem áreas como teoria de grupos, geometria de alta dimensão, teoria de codificação, complexidade quântica, criptografia de rede e combinatória extremal.
Entre as resoluções, a OpenAI destacou a construção da existência de grupos não-soficos, a refutação da conjectura de rigidez de Connes e melhorias no limite superior de densidade de empacotamento de esferas, que permanecia inalterado desde 1978. Três dos problemas resolvidos constavam na lista de questões em aberto deixadas pelo matemático Paul Erdos.
O anúncio sucede um resultado obtido em maio, quando a empresa utilizou um modelo de raciocínio similar para produzir uma prova matemática original que refutou uma famosa conjectura geométrica, também proposta por Erdos em 1946.
