Un estudio que prueba modelos de lenguaje en diferentes problemas de matemáticas revela fallos en el razonamiento.
― 6 minilectura
Xueliang Zhao
Un nuevo método mejora la demostración de teoremas usando IA y aprendizaje de expertos.
― 6 minilectura
Ciencia de vanguardia explicada de forma sencilla
Un estudio que prueba modelos de lenguaje en diferentes problemas de matemáticas revela fallos en el razonamiento.
― 6 minilectura
Un nuevo método mejora la demostración de teoremas usando IA y aprendizaje de expertos.
― 6 minilectura