Las matemáticas están a punto de morir... ¿o solo están cambiando? Lo que OpenAI publicó, lo que falta verificar y lo que cambia
El 6 de octubre OpenAI publicó 372 familias de resultados matemáticos de un modelo interno. Qué se publicó, qué se ha verificado en Lean, qué dicen…