El lanzamiento de OpenAI sobre matemáticas generó rechazo después de que The Decoder informara que la empresa publicó más de 700 manuscritos a la vez, incluidas supuestas soluciones a cientos de problemas abiertos, y que más de 100 investigadores reaccionaron posteriormente.
La respuesta de Terence Tao fue ambivalente. El informe señala que sugirió que algunas pruebas podrían contener ideas realmente útiles, pero también expresó una profunda frustración por la falta de exposición y debate humanos necesarios para que los matemáticos evalúen y desarrollen los resultados. Tao también sostuvo que los objetivos de las empresas de IA están gravemente desalineados con los de la comunidad matemática. El mismo informe cita al medallista Fields Hugo Duminil-Copin: «El impacto es inmenso. Estoy paralizado».
En su publicación sobre matemáticas, OpenAI indicó que muchas pruebas incluyen formalizaciones en Lean y que añadiría más material con el tiempo. Las críticas de los matemáticos apuntan a otro problema: los sistemas ya pueden generar afirmaciones técnicas más rápido de lo que los expertos pueden verificarlas, explicarlas o cuestionarlas.