Ili kutatua mlinganyo, kompyuta mara nyingi hukisia, hukagua, kisha hukisia tena. Kila mzunguko hutua karibu zaidi na jibu. Lakini mzunguko mmoja unaweza kusogea karibu kiasi gani?
Mbinu ya Newton huuliza maswali mawili kwa kila mzunguko: thamani ya kitendakazi na mteremko wake. Karibu na jibu, idadi ya tarakimu sahihi basi huongezeka maradufu kila mzunguko.
Mwaka 1974, Kung na Traub walikisia kuwepo kwa kikomo cha kasi. Kwa maswali n kwa kila mzunguko, daraja haliwezi kamwe kuzidi 2 kipeo n−1. Walikuwa wamejenga mbinu zinazokifikia. Hakuna aliyeweza kuthibitisha kwamba hakiwezi kuvukwa.
Matthew Colbrook, wa Cambridge, sasa amekithibitisha. Ujanja: kujenga vitendakazi vinavyotoa majibu yaleyale lakini vinavyoficha sifuri yao mahali pengine. Kisaidizi cha uthibitisho, Lean, kilikagua matokeo.
Chanzo: Adversarial Wronskians: A proof of the Kung–Traub conjecture, https://arxiv.org/abs/2610.40660









