Noticias sobre ChatGPT Pro

OpenAI ha abierto el código de cientos de demostraciones matemáticas generadas por modelos de lenguaje de gran tamaño junto con su código de formalización en Lean, lo que marca un paso sustancial de los modelos de lenguaje de gran tamaño hacia el razonamiento científico riguroso y la verificación automatizada. Sin embargo, la advertencia colectiva de los ganadores de la Medalla Fields indica que la producción industrializada y a escala de resultados matemáticos podría generar un impacto profundo en el ecosistema académico tradicional y en el terreno de la investigación.