एखादे समीकरण सोडवण्यासाठी, संगणक अनेकदा अंदाज करतो, तपासतो, मग पुन्हा अंदाज करतो. प्रत्येक फेरी उत्तराच्या अधिक जवळ पोहोचते. पण एक फेरी किती जवळ जाऊ शकते?
न्यूटनची पद्धत प्रत्येक फेरीत दोन प्रश्न विचारते: फलनाचे मूल्य आणि त्याचा उतार. उत्तराजवळ, अचूक अंकांची संख्या मग प्रत्येक फेरीत दुप्पट होते.
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









