OpenAI publica 722 manuscritos de matemáticas hechos por un modelo interno que aún no lanza
El repositorio openai/math reúne 722 manuscritos en 372 familias de resultados sobre problemas abiertos, con pruebas formalizadas en Lean y estimaciones del cómputo usado. Matemáticos piden acceso al modelo y a los prompts para poder replicarlos.
La IA ya produce resultados matemáticos más rápido de lo que la comunidad alcanza a revisarlos.






















