ஒரு சமன்பாட்டைத் தீர்க்க, ஒரு கணினி பெரும்பாலும் ஊகிக்கிறது, சரிபார்க்கிறது, பிறகு மீண்டும் ஊகிக்கிறது. ஒவ்வொரு சுற்றும் விடைக்கு இன்னும் நெருக்கமாக வந்து சேர்கிறது. ஆனால் ஒரு சுற்று எவ்வளவு நெருங்க முடியும்?
நியூட்டனின் முறை ஒவ்வொரு சுற்றிலும் இரண்டு கேள்விகள் கேட்கிறது: சார்பின் மதிப்பு, அதன் சாய்வு. அப்போது, விடைக்கு அருகில், சரியான இலக்கங்களின் எண்ணிக்கை ஒவ்வொரு சுற்றிலும் இரட்டிப்பாகிறது.
1974-இல், Kung-உம் Traub-உம் ஒரு வேக வரம்பை ஊகமாக முன்வைத்தனர். ஒரு சுற்றுக்கு n கேள்விகள் என்றால், வரிசை ஒருபோதும் 2-இன் n−1 அடுக்கை விஞ்ச முடியாது. அதை எட்டும் முறைகளை அவர்கள் உருவாக்கியிருந்தனர். அதை வெல்ல முடியாது என்பதை யாராலும் நிரூபிக்க முடியவில்லை.
Cambridge-ஐச் சேர்ந்த Matthew Colbrook இப்போது அதை நிரூபித்துள்ளார். உத்தி: அதே விடைகளைத் தரும், ஆனால் தம் பூஜ்ஜியத்தை வேறோர் இடத்தில் மறைத்து வைக்கும் சார்புகளை உருவாக்குவது. Lean என்ற நிரூபண உதவியாளர் அந்த முடிவைச் சரிபார்த்தது.
மூலம்: Adversarial Wronskians: A proof of the Kung–Traub conjecture, https://arxiv.org/abs/2610.40660









