Ahora, los matemáticos continúan apoyándose entre ellos mediante demostraciones asistidas por ordenador.