OpenAI Publica 372 Provas Matemáticas Inéditas, mas Ninguém Consegue Entendê-las

A OpenAI chocou a comunidade matemática ao revelar 372 novos teoremas, um feito que, no entanto, veio com um desafio inesperado. Até o momento, nenhum pesquisador humano conseguiu decifrar as provas divulgadas. Uma das principais críticas, vinda de especialistas como a cientista da computação Dana Moshkovitz, é a redação extremamente complexa e desorganizada, com referências muitas vezes sem sentido, tornando a compreensão virtualmente impossível sem o auxílio de ferramentas de IA.

Entre os problemas que a IA da OpenAI afirma ter resolvido estão questões de longa data como a Conjectura de Unique Games, a equivalência de L=BPL (espaço de logarítmico probabilístico e determinístico), e melhorias na multiplicação de matrizes. Curiosamente, o modelo que gerou estas soluções não é uma construção personalizada, mas sim a última versão interna da OpenAI, que pode ser liberada para assinantes do ChatGPT. Este episódio também destaca as diferentes abordagens das big techs: enquanto a OpenAI