Para resolver uma equação, um computador muitas vezes chuta, verifica e chuta de novo. Cada rodada chega mais perto da resposta. Mas quanto mais perto uma rodada consegue chegar?
O método de Newton faz duas perguntas por rodada: o valor da função e sua inclinação. Perto da resposta, o número de algarismos corretos então dobra a cada rodada.
Em 1974, Kung e Traub conjecturaram um limite de velocidade. Com n perguntas por rodada, a ordem nunca pode passar de 2 elevado a n−1. A dupla tinha construído métodos que o alcançavam. Ninguém conseguia provar que era insuperável.
Matthew Colbrook, em Cambridge, acaba de demonstrá-lo. O truque: construir funções que dão as mesmas respostas, mas escondem seu zero em outro lugar. Um assistente de provas, o Lean, verificou o resultado.
Fonte: Adversarial Wronskians: A proof of the Kung–Traub conjecture, https://arxiv.org/abs/2610.40660









