Wolfram Alpha ya sabe realizar demostraciones matemáticas mediante inducción
Connor Flood ha sido el encargado de un proyecto apasionante en las tripas de Wolfram Alpha, ese poco conocido «motor de conocimiento» con aspecto de buscador pero que cuenta con gigantescas bases de datos estructuradas y con el cerebro de Mathematica, el software de computación simbólico. El resultado es que ahora permite generar pruebas matemáticas mediante inducción a partir de una consulta en lenguaje normal y corriente.
Los detalles tecnico-matemáticos son bastante complejos pero baste...
Álvaro Ibáñez
Enrique Dans
Víctor Domingo
