OpenAI publicó 722 demostraciones matemáticas generadas por inteligencia artificial en 17 campos, lo que ha suscitado un debate sobre la eficiencia de costos y la utilidad práctica. Aunque están verificadas por máquinas, muchas demostraciones carecen de interpretabilidad humana, y un error en un único símbolo puede provocar fallos en cascada. Los matemáticos temen que la inteligencia artificial simplemente recombine conocimientos existentes, trasladando la carga de clasificar e interpretar enormes volúmenes de resultados a los investigadores humanos, sin generar las ideas novedosas que son centrales en la investigación matemática.