یک ریاضی‌دان ایرلندی از الگوریتمی پیچیده و میلیون‌ها ساعت از زمان ابررایانه‌ها استفاده کرد تا بتواند پاسخ معمایی مهم وحل نشده در ریاضیات سودوکو را بیابد. بازی سودوکو که اولین بار در ژاپن همه‌ پسند شد، از یک مربع 9 در 9 تشکیل شده که هر سطر و ستون آن باید با اعداد 1 تا 9 پر شود یه‌طوری که هر عدد در هر ستون، سطر یا 9 مربع 3در3 فقط بار ظاهر شود.
به گزارش نیچر، گری مک‌گوایر از کالج دانشگاهی دوبلین در اثباتی که در اول ژانویه روی اینترنت قرار گرفت، نشان داد که کمترین تعداد راهنمایی‌ها (یا ارقام ابتدای بازی) که برای تکمیل یک بازی لازم است، 17 خانه است و جدول‌هایی با 16 راهنمایی یا کمتر، پاسخ یکتایی ندارند. بیشتر سودوکوهای روزنامه‌ای چیزی در حدود 25 راهنمایی دارند، و هرچه که تعداد راهنمایی‌ها بیشتر شود، سختی معما هم کمتر می‌شود.

 

ریاضیدانان شرکت کننده در کنفرانسی که در هفتم ژانویه در بوستون ماساچوست برگزار شد، به اتفاق آرا بر این باور بودند که اثبات مک‌گوایر احتمالا معتبر است و پیشرفت بزرگی در حوزه رو به گسترش ریاضیات سودوکو محسوب می‌شود.