Usar IA para escribir pruebas formales de problemas matemáticos difíciles revela nuevas rutas.
― 10 minilectura
Ciencia de vanguardia explicada de forma sencilla
Usar IA para escribir pruebas formales de problemas matemáticos difíciles revela nuevas rutas.
― 10 minilectura