OpenAI publica 722 demostraciones matemáticas generadas por IA: el mayor corpus verificado de la historia

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

Seguir leyendo