OpenAI publica 372 resultados matemáticos generados por IA y provoca advertencia de 25 medallistas Fields
OpenAI publicó en GitHub 372 resultados matemáticos generados por un modelo interno de frontera, con formalizaciones en Lean para verificación automática. Cada…
Por qué importaMarca un intento de desplazar la validación científica desde las revistas peer-reviewed hacia repositorios de código verificados formalmente…


