A OpenAI publicou resultados de investigação matemática produzidos por um modelo interno de inteligência artificial, com formalizações em Lean, revisão de provas e dados sobre os problemas tentados e a computação utilizada pelas equipas de investigação.

A publicação dá a investigadores, universidades e empresas portuguesas um caso concreto para avaliar como a IA pode acelerar trabalho científico, aumentar a verificabilidade e alterar processos de decisão e produção de conhecimento.