OpenAI publica 722 demostraciones matemáticas generadas por IA: el mayor corpus verificado de la historia
wwwhatsnew.com/2026/10/08/openai-722-manuscritos-matematicos-ia-lean-github-2026/
Una parte de la comunidad matemática está en pie de guerra contra OpenAI
www.xataka.com/investigacion/parte-comunidad-matematica-esta-pie-guerra-openai
Una IA ya es capaz de abordar problemas que durante décadas se les han resistido a los mejores matemáticos
La comunidad matemática más crítica se ha echado encima de OpenAI por su forma de publicar sus resultados