OpenAI-ის უძლიერესმა მოდელმა GPT-5.6 Sol Ultra-მ ავტონომიურად შექმნა მათემატიკური დამტკიცება ციკლური ორმაგი დაფარვის კონიექტურისთვის — გრაფთა თეორიის ერთ-ერთი ყველაზე ცნობილი ღია პრობლემის გადაწყვეტა.

შესავალი: როცა AI მათემატიკოსს აჯობა

2026 წლის 10 ივლისს მათემატიკის სამყარო შეირყა. OpenAI-მ გამოაქვეყნა დოკუმენტი, რომელიც ცვლის ჩვენს წარმოდგენას ხელოვნური ინტელექტის შესაძლებლობებზე. მათმა უძლიერესმა მოდელმა — GPT-5.6 Sol Ultra — ავტონომიურად შექმნა დამტკიცება ციკლური ორმაგი დაფარვის კონიექტურისთვის (Cycle Double Cover Conjecture), რომელიც ღია პრობლემა იყო 1970-იანი წლებიდან მოყოლებული.

ახალი ამბავი მყისიერად გავრცელდა Hacker News-ზე, სადაც მან 480-ზე მეტი upvote მიიღო და საათობით იყო მთავარ გვერდზე. ეს არ არის ჩვეულებრივი AI მიღწევა — ეს არის მომენტი, როდესაც ხელოვნურმა ინტელექტმა პირველად გადაჭრა მათემატიკური პრობლემა, რომელიც შეტანილია ვიკიპედიის გადაუჭრელი მათემატიკური პრობლემების სიაში.

SiTech.ge-ზე ჩვენ დეტალურად გავაანალიზებთ, თუ რა მოხდა, რატომ არის ეს მნიშვნელოვანი და რას ნიშნავს ეს AI-სა და მათემატიკის მომავლისთვის.

რა არის ციკლური ორმაგი დაფარვის კონიექტურა?

კონიექტურა ეხება გრაფთა თეორიას — მათემატიკის დარგს, რომელიც სწავლობს კვანძებისა და მათ დამაკავშირებელი ხაზების სტრუქტურებს. წარმოიდგინეთ ქალაქების ქსელი (კვანძები) და მათ შორის გზები (რკალები). კონიექტურა ამბობს, რომ თუ გრაფს არ აქვს "ხიდები" (ისეთი რკალი, რომლის წაშლაც გრაფს ორ ნაწილად ყოფს), მაშინ მასში ყოველთვის შეიძლება მოიძებნოს ციკლების (დახურული მარშრუტების) კრებული, სადაც თითოეული რკალი ზუსტად ორჯერ გვხვდება.

ეს პრობლემა 1970-იანი წლებიდან ღია იყო. კონიექტურა დამოუკიდებლად ჩამოაყალიბეს მათემატიკის ტიტანებმა: უილიამ ტატმა (1987), იტაიმ და როდემ (1978), სეკერეშმა (1973) და სეიმურმა (1979). ნაწილობრივი შედეგები არსებობდა — იეგერმა დაამტკიცა პლანარული გრაფებისთვის, სეკერეშმა 3-კიდედ-გაფერადებადი კუბური გრაფებისთვის — მაგრამ სრული დამტკიცება ყველას გაექცა. GPT-5.6 Sol Ultra-მდე.

GPT-5.6 Sol Ultra: მოდელი, რომელმაც ისტორია დაწერა

GPT-5.6 Sol Ultra OpenAI-ს მოდელების ხაზის მწვერვალია. Sol დასახელება მიუთითებს გაძლიერებულ მსჯელობაზე ორიენტირებულ მოდელზე, რომელიც ოპტიმიზირებულია რთული პრობლემების გადაჭრისა და სამეცნიერო კვლევისთვის. მოდელმა დამტკიცება შექმნა OpenAI-ის multiagent v2 არქიტექტურის გამოყენებით — სისტემა, რომელიც მართავს 64-მდე პარალელურ აგენტს, რომლებიც ერთდროულად იკვლევენ სხვადასხვა მიდგომებს.

OpenAI-ს მიერ გამოქვეყნებული პრომპტი გვიჩვენებს, თუ როგორ უნდა დავსვათ კითხვები AI-სთვის მაქსიმალური ეფექტურობით. პრომპტის მხოლოდ 1/5 ეხებოდა თავად მათემატიკურ პრობლემას — დანარჩენი იყო "აღკაზმულობის" ინსტრუქციები: როგორ მართოს 64 აგენტი, როგორ ავარიდოთ თავიდან ჯგუფურ აზროვნებას, როგორ გამოვიყენოთ "ადვერსარიული" აგენტები შედეგების გადასამოწმებლად.

დამტკიცების ანალიზი: 3 გვერდი, რომელმაც 50 წელი შეცვალა

GPT-5.6 Sol Ultra-ს მიერ წარმოებული დამტკიცება მხოლოდ 3 გვერდია — განსაცვიფრებლად კომპაქტური იმ პრობლემისთვის, რომელიც ნახევარი საუკუნის განმავლობაში ელოდა გადაწყვეტას. დამტკიცება იყენებს ალგებრულ მიდგომას, რომელიც რამდენიმე ელეგანტურ რედუქციაზეა აგებული.

პირველ რიგში, სტანდარტული რედუქციის გამოყენებით, საკმარისია კუბური გრაფების განხილვა (სადაც თითოეულ წვეროს ზუსტად სამი შემავალი რკალი აქვს). შემდეგ, კილპატრიკ-იეგერის 8-დინების თეორემის გამოყენებით — რომელიც უზრუნველყოფს, რომ ყველა ხიდების გარეშე გრაფს აქვს nowhere-zero 8-დინება — მიიღება რკალების მარკირება Γ = F₃² ჯგუფის არანულოვანი ელემენტებით.

გასაღები ინოვაცია, რომელიც სავარაუდოდ გაექცა ადამიან მათემატიკოსებს, არის ის, თუ როგოც GPT-5.6 გარდაქმნის ამ მარკირებას რკალების მარკირებად ორელემენტიანი ქვესიმრავლეებით. ეს რედუქცია საბოლოოდ ელემენტარულ წრფივი ალგებრის არგუმენტამდე მიდის — Lemma 2.2-ში, რომელიც ამტკიცებს, რომ განტოლებათა სისტემას (system 4) ყოველთვის აქვს ამონახსნი.

მულტი-აგენტური მიდგომა, გავლენა და კრიტიკა

OpenAI-ს მიერ გამოყენებული მულტი-აგენტური მიდგომა რადიკალურად განსხვავდება ტრადიციული "დააპრომტე და ილოცე" მეთოდისგან. OpenAI-მ არსებითად შექმნა AI კვლევითი ლაბორატორია ერთი მოდელის შიგნით. მიღწევამ მიიღო როგორც ენთუზიაზმი, ასევე სკეპტიციზმი. მთავარი კრიტიკა: დამტკიცება არ არის დაწერილი ფორმალური დამტკიცების ასისტენტში (როგორიცაა Lean ან Coq). "ვინაიდან ეს Lean-ში არ არის, უაღრესად ადვილია დახვეწილი შეცდომის გამპარვა," წერს კომენტატორი Hacker News-ზე. თუმცა, ტოპ მათემატიკოსმა დაადასტურა, რომ დამტკიცება სწორია.

დასკვნა: ახალი ერა მათემატიკაში

GPT-5.6 Sol Ultra-ს მიერ ციკლური ორმაგი დაფარვის კონიექტურის დამტკიცება არ არის მხოლოდ ტექნიკური მიღწევა — ეს არის ისტორიული მომენტი ხელოვნური ინტელექტის ევოლუციაში. დამტკიცების კომპაქტურობა — მხოლოდ 3 გვერდი — განსაკუთრებით შთამბეჭდავია. ის იყენებს ელეგანტურ ალგებრულ მიდგომას, რომელიც 50 წლის განმავლობაში გაურბოდა კაცობრიობის საუკეთესო გონებას. მომავალში მათემატიკური კვლევა შესაძლოა AI-სა და ადამიანთა თანამშრომლობად იქცეს, სადაც AI იღებს "სიმძიმეების აწევას" — იკვლევს მრავალ მიმართულებას, წარმოქმნის ლემებს — ხოლო ადამიანები უზრუნველყოფენ კონტექსტს, ინტუიციას და საბოლოო ვერიფიკაციას.