GPT-5.6 Sol Ultra 50 illik riyazi problemi həll etdi: Dövqül İkiqat Örtük Kon'yekturası sübut olundu
OpenAI-ის უძლიერესმა მოდელმა GPT-5.6 Sol Ultra-მ ავტონომიურად შექმნა მათემატიკური დამტკიცება ციკლური ორმაგი დაფარვის კონიექტურისთვის — გრაფთა თეორიის ერთ-ერთი ყველაზე ცნობილი ღია პრობლემის გადაწყვეტა.
Giriş: Süni Zəka Riyaziyyatçıları Keçdikdə
10 iyul 2026-cı ildə riyaziyyat dünyası sarsıldı. OpenAI, süni zəkanın imkanları haqqında anlayışımızı dəyişən bir sənəd dərc etdi. Onların ən güclü modeli — GPT-5.6 Sol Ultra — 1970-ci illərdən bəri açıq problem olan Dövqül İkiqat Örtük Kon'yekturasını (Cycle Double Cover Conjecture) muxtar şəkildə sübut etdi.
Bu, Vikipediyanın həll olunmamış riyazi problemlər siyahısındakı bir problemi ilk dəfə süni zəkanın həll etməsi baxımından tarixi andır.
Dövqül İkiqat Örtük Kon'yekturası Nədir?
Kon'yektura qraf nəzəriyyəsinə aiddir — düyünlərin (təpələrin) xətlərlə (kənarlarla) bağlandığı şəbəkələri öyrənən riyaziyyat sahəsi. Kon'yektura deyir ki, hər körpüsüz qrafda elə dövrlər kolleksiyası var ki, hər kənar dəqiq iki dəfə görünür.
Problem 50 ildən çox müddətdə həll olunmamış qaldı. William Tutte, Itai və Rodeh, Szekeres və Seymour kimi riyaziyyat nəhəngləri tərəfindən müstəqil formalaşdırıldı. Qismən nəticələr mövcud idi, lakin tam sübut hamıdan qaçdı — GPT-5.6 Sol Ultra-ya qədər.
Nəticə: Elmi Süni Zəka üçün Dönüş Nöqtəsi
Bu sübut süni zəkanın təkamülündə bir dönüş nöqtəsidir. İlk dəfə süni zəka tanınmış açıq riyazi problemi muxtar şəkildə həll etdi və təkcə düzgün deyil, həm də zərif bir sübut yaratdı. GPT-5.6 Sol Ultra bunu bir gündə bacardısa, sual süni zəkanın riyazi tədqiqatları dəyişdirib-dəyişdirməyəcəyi deyil, nə qədər tez dəyişdirəcəyidir.