Niisuguse tõdemuseni jõudis mahukate ja nutikate arvutuste järel rühm matemaatikuid eesotsas Gary McGuire'ga Iirimaalt University College Dublinist. Tulemuseni jõudmiseks kulus neil küll ka ülivõimsa arvuti ja keeruka algoritmi abil mitu aastat, kuid nüüd on tõestatud, et 16 ja vähema lähtenumbriga sudokule mitte mingil juhul ühest lahendust ei leidu, vahendavad Vikerraadio Teadusuudised.

See, et mingi minimaalne arv ruudukesi peab ühese lahenduse jaoks juba ette täidetud olema, on päris selge, kui mõelda näiteks olukorrale, kus sudoku 9x9-mänguväljal on, ütleme, vaid üks ruut ette täidetud. Nüüd on siis teada, et see minimaalne arv on suure tõenäosusega just 17, sest ka paljud teised matemaatikud möönsid laupäeval Ameerika Ühendriikides Bostons toimunud konverentsil, et McGuire' lähenemine paistab olevat mõistlik ja tema tõestus korrektne.