OpenAI y el futuro de las matemáticas: ¿era dorada?
La IA ya produce pruebas matemáticas que los humanos no logran leer El matemático Francesco Maggi publicó en el blog de Terence Tao un ensayo que ordena la pregunta que hoy divide a la comunidad científica: los modelos de lenguaje ya generan pruebas matemáticas correctas, pero nadie las entiende del todo. La cifra que lo …









