किसी समीकरण को हल करने के लिए, कंप्यूटर अक्सर अनुमान लगाता है, जाँचता है, फिर दोबारा अनुमान लगाता है। हर दौर उत्तर के और क़रीब पहुँचता है। लेकिन एक दौर कितना क़रीब ले जा सकता है?
न्यूटन की विधि हर दौर में दो प्रश्न पूछती है: फ़ंक्शन का मान और उसकी ढलान। उत्तर के पास, सही अंकों की संख्या फिर हर दौर में दोगुनी हो जाती है।
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









