رایانه برای حل یک معادله اغلب حدسی میزند، آن را وارسی میکند و سپس دوباره حدس میزند. هر دور به پاسخ نزدیکتر میشود. اما یک دور تا چه اندازه میتواند نزدیکتر شود؟
روش نیوتن در هر دور دو پرسش میپرسد: مقدار تابع و شیب آن. در نزدیکی پاسخ، شمار رقمهای درست در هر دور دو برابر میشود.
در سال 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









