لحلّ معادلة، كثيرًا ما يخمّن الحاسوب، ثم يتحقق، ثم يخمّن من جديد. وكل جولة تقترب أكثر من الجواب. لكن إلى أي حدّ يمكن لجولة واحدة أن تقترب؟
تطرح طريقة نيوتن سؤالين في كل جولة: قيمة الدالة وميلها. وقرب الجواب، يتضاعف عندئذ عدد الأرقام الصحيحة في كل جولة.
في عام 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









