为了解一个方程,计算机常常先猜、再检验、然后再猜。每一轮都离答案更近一些。可是,一轮最多能靠近多少呢?
牛顿法每一轮提出两个问题:函数的值和它的斜率。在答案附近,正确的位数每一轮都会翻一番。
1974年,孔祥重(Kung)和特劳布(Traub)猜想存在一个速度极限:每一轮提出n个问题,阶数永远不可能超过2的n−1次方。他们构造出了达到这一极限的方法,却没有人能证明它无法被超越。
剑桥大学的Matthew Colbrook如今证明了它。诀窍在于:构造一些给出相同回答、却把零点藏在别处的函数。证明助手Lean核查了这一结果。
来源:Adversarial Wronskians: A proof of the Kung–Traub conjecture, https://arxiv.org/abs/2610.40660









