Don warware ma'auni (equation), kwamfuta kan yi hasashe, ta duba, sannan ta sake hasashe. Kowane zagaye yana ƙara kusantar amsar. Amma nawa ne zagaye ɗaya zai iya ƙara kusantarwa?
Hanyar Newton tana yin tambayoyi biyu a kowane zagaye: ƙimar aikin (function) da gangarensa (slope). Kusa da amsar, adadin lambobin da suka yi daidai yana ninkuwa a kowane zagaye.
A 1974, Kung da Traub sun yi hasashen wata iyakar gudu. Da tambayoyi n a kowane zagaye, darajar sauri (order) ba za ta taɓa wuce 2 zuwa ƙarfin n−1 ba. Sun gina hanyoyin da suka kai ta. Babu wanda ya iya tabbatar da cewa ba za a iya wuce ta ba.
Yanzu an tabbatar da ita, a aikin Matthew Colbrook na Cambridge. Dabarar: gina ayyuka (functions) da ke ba da amsoshi iri ɗaya amma suna ɓoye sifilinsu (zero) a wani wuri dabam. Wani mataimakin hujja (proof assistant), Lean, ya duba sakamakon.
Tushe: Adversarial Wronskians: A proof of the Kung–Traub conjecture, https://arxiv.org/abs/2610.40660









