Hacker News Front Page · theemathas ·
math/history.md at main · openai/math
Se retiraron tres manuscritos después de detectar un error de signo que invalida un argumento de cancelación y afecta a dos trabajos dependientes. Otros 14 manuscritos recibieron correcciones de pruebas, aclaraciones de hipótesis y ajustes relacionados; además, se actualizaron 13 manuscritos para que citaran las ediciones revisadas. Se añadieron seis formalizaciones y cinco aportes de apoyo, con lo que cerca del 42 % de los resultados principales ya está formalizado.
Contribute to openai/math development by creating an account on GitHub.