Provas matemáticas geradas por IA da OpenAI geram debate sobre transparência e compreensão

Em 9 de outubro de 2026, a OpenAI lançou 719 provas matemáticas geradas por IA, abrangendo 372 famílias de resultados e inúmeros problemas de pesquisa em aberto. No entanto, o lançamento enfrentou críticas por não atender aos padrões estabelecidos pelo Grupo Consultivo de Matemática e IA (AGMAI). Inicialmente, a OpenAI havia postado 722 provas no GitHub em 6 de outubro, mas retirou três devido a um erro de símbolo em 7 de outubro. As provas, que incluem 42% que carecem de formalização e metadados, levantaram preocupações sobre transparência e compreensão humana. O AGMAI havia anteriormente solicitado que os laboratórios evitassem testar matemática complexa em modelos proprietários e divulgassem informações detalhadas, mas a OpenAI não cumpriu totalmente. Enquanto isso, o matemático Terence Tao criticou a abordagem, argumentando que provas geradas por IA correm o risco de minar os aspectos colaborativos e educacionais da pesquisa matemática. Ele alertou para uma 'crise de digestão de provas' em que a IA produz resultados muito rapidamente para que os humanos possam absorver e compreender, o que pode esgotar a riqueza intelectual do campo.