OpenAI descarga 372 teoremas y revienta las matemáticas
Lo que acaba de pasar en matemáticas no tiene precedentes recientes El 6 de octubre de 2026, OpenAI liberó en un repositorio público de GitHub 722 manuscritos matemáticos agrupados en 372 familias de resultados, producidos por un modelo interno no publicado que la compañía describe como frontier. Muchos de los enunciados vienen acompañados de formalizaciones …









