OpenAI libera quase 400 resultados matemáticos gerados por IA, diz The Verge

A OpenAI divulgou quase 400 resultados matemáticos gerados por IA, distribuídos em mais de 700 manuscritos sobre áreas como geometria, teoria dos números, topologia e física matemática. Segundo o The Verge, mais de três dezenas de matemáticos descreveram o volume como sem precedentes e disseram que apenas compreender o material pode levar anos.

A coleção inclui formalizações em Lean, que permitem verificar provas por computador, mas a OpenAI informou que somente 300 dos 719 resultados principais haviam sido formalizados — cerca de 42%. A empresa disse que os manuscritos estão em diferentes estágios de verificação e que adicionará novas formalizações. Pesquisadores ouvidos pelo The Verge alertaram que a qualidade era inconsistente e que mesmo provas formalizadas precisam ser examinadas para confirmar se correspondem às afirmações dos manuscritos.