Task: Question Answering
Input (Spanish): Párrafo: La propiedad de ser primo (o no) se llama primalidad. Un método simple pero lento de verificar la primalidad de un número n dado se conoce como división de prueba. Consiste en comprobar si n es un múltiplo de cualquier número entero entre 2 y . Se han ideado algoritmos mucho más eficaces que la división de pruebas para comprobar la primalidad de los números grandes. Estos incluyen la prueba de primalidad de Miller-Rabin, que es rápida pero tiene una pequeña probabilidad de error, y la prueba de primalidad de AKS, que siempre produce la respuesta correcta en tiempo polinómico pero es demasiado lenta para ser práctica. Se dispone de métodos especialmente rápidos para los números de formularios especiales, como los números de Mersenne. A partir de enero de 2016 [actualización], el número primo más grande conocido tiene 22 338 618 dígitos decimales. Question: ¿Cuál es el nombre de un algoritmo útil para probar adecuadamente la primalidad de los números grandes?
Output (Spanish): prueba de primalidad de Miller-Rabin