GPT-5.6 Sol Ultra-ն ապացուցեց 50-ամյա մաթեմատիկական խնդիր՝ Ցիկլային Կրկնակի Ծածկույթի Կոնյեկտուրան
OpenAI-ის უძლიერესმა მოდელმა GPT-5.6 Sol Ultra-მ ავტონომიურად შექმნა მათემატიკური დამტკიცება ციკლური ორმაგი დაფარვის კონიექტურისთვის — გრაფთა თეორიის ერთ-ერთი ყველაზე ცნობილი ღია პრობლემის გადაწყვეტა.
Ներածություն. Երբ արհեստական բանականությունը գերազանցում է մաթեմատիկոսներին
2026 թվականի հուլիսի 10-ին մաթեմատիկական աշխարհը ցնցվեց: OpenAI-ն հրապարակեց մի փաստաթուղթ, որը փոխում է արհեստական բանականության կարողությունների մեր ընկալումը: Նրանց ամենահզոր մոդելը՝ GPT-5.6 Sol Ultra-ն, ինքնուրույն ստեղծեց Ցիկլային Կրկնակի Ծածկույթի Կոնյեկտուրայի ապացույցը՝ գրաֆների տեսության ամենահայտնի բաց խնդիրներից մեկը, որը լուծում էր սպասում 1970-ականներից:
Սա առաջին դեպքն է, երբ արհեստական բանականությունը լուծեց Վիքիպեդիայի չլուծված մաթեմատիկական խնդիրների ցանկում ընդգրկված խնդիրը:
Ի՞նչ է Ցիկլային Կրկնակի Ծածկույթի Կոնյեկտուրան
Կոնյեկտուրան պատկանում է գրաֆների տեսությանը՝ մաթեմատիկայի ճյուղ, որն ուսումնասիրում է հանգույցների (գագաթների) ցանցերը, որոնք միացված են գծերով (կողերով): Կոնյեկտուրան պնդում է, որ յուրաքանչյուր անկամուրջ գրաֆ պարունակում է ցիկլերի հավաքածու, որտեղ յուրաքանչյուր կող հանդիպում է ուղիղ երկու անգամ:
Խնդիրը մնաց չլուծված ավելի քան 50 տարի: Այն ձևակերպվել է մաթեմատիկական տիտանների կողմից՝ Ուիլյամ Թաթ, Իթայ և Ռոդե, Սեկերեշ և Սեյմուր: Մասնակի արդյունքներ գոյություն ունեին, բայց ամբողջական ապացույցը խուսափում էր բոլորից՝ մինչև GPT-5.6 Sol Ultra:
Եզրակացություն. Կարևոր իրադարձություն գիտական ԱԲ-ի համար
Սա կարևոր իրադարձություն է արհեստական բանականության էվոլյուցիայում: Առաջին անգամ ԱԲ-ն ինքնուրույն լուծեց ճանաչված բաց մաթեմատիկական խնդիր՝ ստեղծելով ապացույց, որը ոչ միայն ճիշտ է, այլև նրբագեղ: Եթե GPT-5.6 Sol Ultra-ն դա իրականացրեց մեկ օրում, հարցը ոչ թե այն է, թե արդյոք ԱԲ-ն կվերափոխի մաթեմատիկական հետազոտությունները, այլ թե որքան արագ: