En efecto, a finales de marzo, David Harvey y Joris van der Hoeven demostraron que la multiplicación de grandes enteros es «cuasilineal». ¡Esta cuestión permanecía abierta desde 1971! Ahora sabemos que se pueden multiplicar dos enteros de n cifras mediante un número de operaciones elementales proporcional a n ln(n), donde ln es el logaritmo neperiano. Pero quizá sea posible hacerlo aún mejor: ¡nunca se ha conseguido demostrar que la multiplicación no sea «lineal»! En nuestro próximo número se publicará un artículo sobre el funcionamiento del nuevo algoritmo.