Bir denklemi çözmek için bilgisayar çoğu zaman bir tahminde bulunur, kontrol eder, sonra yeniden tahmin eder. Her tur cevaba biraz daha yaklaşır. Peki tek bir tur ne kadar yaklaştırabilir?
Newton yöntemi her turda iki soru sorar: fonksiyonun değeri ve eğimi. Cevaba yakınken doğru basamak sayısı böylece her turda ikiye katlanır.
1974'te Kung ve Traub bir hız sınırı öne sürdü. Tur başına n soruyla mertebe hiçbir zaman 2 üzeri n−1'i aşamaz. Bu sınıra ulaşan yöntemler de kurmuşlardı. Ama kimse sınırın aşılamaz olduğunu kanıtlayamamıştı.
Cambridge'den Matthew Colbrook artık bunu kanıtladı. Püf noktası: aynı cevapları veren ama sıfırlarını başka yerde saklayan fonksiyonlar kurmak. Bir ispat asistanı olan Lean sonucu denetledi.
Kaynak: Adversarial Wronskians: A proof of the Kung–Traub conjecture, https://arxiv.org/abs/2610.40660









