Süni intellekt "Unikal oyunlar" sübutuna yaxınlaşdıqca, tədqiqatçılar maşınları qabaqlamaq üçün yarışdılar

11 sentyabr 2026-cı il səhəri Dor Minzer bir dostundan onun nəzəri informatikanın ən məşhur açıq suallarından birini həll etməyə yaxın olub-olmadığını soruşan bir mətn mesajı aldı. Massaçusets Texnologiya İnstitutunun professoru və "yeganə oyunlar" fərziyyəsi üzrə aparıcı mütəxəssis olan Minzer əvvəlcə bunun bir zarafat olduğunu düşündü. Sonra daha çox mesaj gəlməyə başladı və şayiələr formalaşmağa başladı. Riyaziyyat dünyasında böyük səs-küy doğuran mayelərin davranışı ilə bağlı sensasiyalı bir sübutu elan etdikdən dərhal sonra süni intellekt şirkəti OpenAI-ın yeganə oyunlar fərziyyəsinin sübutunu kəşf etdiyi iddia edilirdi. Onlar nəticəni hər an ictimaiyyətə açıqlaya bilərdilər. Mesajlarda deyilirdi ki, əgər Minzerin bölüşəcəyi hər hansı bir nəticəsi varsa, indi bunun tam vaxtıdır.

Yeganə oyunlar fərziyyəsi hesablama mürəkkəbliyi nəzəriyyəsində, yəni riyazi problemlərin xas çətinliyinin öyrənilməsində ikonik bir sualdır. Kobud şəkildə desək, bu, eyni vaxtda bir neçə məhdudiyyəti ödəməklə bağlı bir problemin, hətta mümkün olan ən yaxşı həllin zəif bir yaxınlaşması ilə kifayətlənməyə hazır olsanız belə, son dərəcə çətin ola biləcəyini bildirir. Fərziyyənin sübutu həm də avtomatik olaraq bir-biri ilə əlaqəsiz görünən bir çox problemin həlli üçün mövcud üsulların təkmilləşdirilə bilməyəcəyini nəzərdə tutardı. Tədqiqatçılar hesablama çətinliyinin vahid nəzəriyyəsinə bir addım daha yaxınlaşacaqdılar.

Minzer, əslində, yeganə oyunlar fərziyyəsini sübut etməmişdi. Lakin o və onun aspirantları Yumou Fei və Shuo Wang bu yaxınlarda yaxından əlaqəli bir sual haqqında mühüm bir nəticəni sübut etmişdilər. Şayiələr yayılmağa başlayanda onlar öz tapıntılarını yazmaq prosesində idilər — bu, adətən aylar və ya daha çox vaxt aparan bir prosesdir. Üçlük OpenAI-ın mətbuat açıqlamasının kölgəsində qalmamaq üçün layihələrini bitirməyə tələsdilər. Üç gün sonra, aydınlıqdan çox tamlığa üstünlük verərək, onlar internetdə 95 səhifəlik bir məqalə yerləşdirdilər və ilk səhifədə belə bir qeyd etdilər: "Əlyazmanın hazırkı versiyası riyazi cəhətdən tamdır, lakin bizim bölüşmək istədiyimiz formada deyil."