একটি সমীকরণ সমাধান করতে কম্পিউটার প্রায়ই অনুমান করে, যাচাই করে, তারপর আবার অনুমান করে। প্রতিটি দফায় সে উত্তরের আরও কাছে পৌঁছায়। কিন্তু এক দফায় কতটা কাছে যাওয়া সম্ভব?
নিউটনের পদ্ধতি প্রতি দফায় দুটি প্রশ্ন করে: ফাংশনের মান আর তার ঢাল। উত্তরের কাছাকাছি তখন সঠিক অঙ্কের সংখ্যা প্রতি দফায় দ্বিগুণ হয়।
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









