Wolfram Alpha ya sabe realizar demostraciones matemáticas mediante inducción

Wolfram Alpha, ese poco conocido "motor de conocimiento" con aspecto de buscador que cuenta con gigantescas bases de datos estructuradas y con el cerebro de Mathematica, permite generar pruebas matemáticas mediante inducción a partir de una consulta en lenguaje normal y corriente. Un ejemplo típico sería: "Demostrar que 8 elevado a n menos 3 elevado a n es divisible por 5 para cualquier valor de n mayor que 0."