Para resolver una ecuación, un ordenador a menudo hace una conjetura, la comprueba y vuelve a intentarlo. Cada ronda cae más cerca de la respuesta. Pero ¿cuánto más cerca puede llegar una sola ronda?
El método de Newton hace dos preguntas por ronda: el valor de la función y su pendiente. Cerca de la respuesta, el número de cifras correctas se duplica entonces en cada ronda.
En 1974, Kung y Traub conjeturaron un límite de velocidad. Con n preguntas por ronda, el orden nunca puede superar 2 elevado a n−1. Habían construido métodos que lo alcanzaban. Nadie lograba demostrar que fuera insuperable.
Matthew Colbrook, de Cambridge, acaba de demostrarlo. El truco: construir funciones que dan las mismas respuestas pero esconden su cero en otro lugar. Un asistente de demostración, Lean, verificó el resultado.
Fuente: Adversarial Wronskians: A proof of the Kung–Traub conjecture, https://arxiv.org/abs/2610.40660









