A OpenAI lançou 722 provas matemáticas geradas por IA em 17 áreas, provocando debates sobre custo-efetividade e utilidade prática. Embora verificadas por máquinas, muitas provas carecem de interpretabilidade humana, com erros em um único símbolo causando falhas em cascata. Matemáticos temem que a IA apenas recombine conhecimento existente, transferindo o ônus de organizar e interpretar grandes volumes de resultados para os pesquisadores humanos, sem gerar as novas ideias centrais à pesquisa matemática.