OpenAI riyaziyyat, informatika və fizika üzrə Sİ sübutlarının xarici yoxlanmasını istəyir

OpenAI daxili süni intellekt modellərinin riyaziyyat, informatika və fizika üzrə sübutlar yaratdığını bildirir; bura informatikada mərkəzi bir fərziyyənin yanlış olduğu və Minillik Mükafatı Probleminin bir hissəsinin sübut olunduğu iddiası daxildir. OpenAI nəticələri yoxlamaq və sübutların etibarlı olub-olmadığını müəyyən etmək üçün Nobel mükafatı laureatı da daxil olmaqla xarici ekspertlərə müraciət edib.

İnformatika: ETH sual altına alınır

OpenAI bildirir ki, nəticələrdən biri SAT adlanan Boolean doyurma problemi ilə bağlı olan Eksponensial Vaxt Hipotezi, yaxud ETH ilə əlaqəlidir. SAT məntiqi ifadədəki dəyişənlərin ifadəni doğru edəcək şəkildə təyin olunub-olunmadığını soruşur. ETH real qısayolun olmadığını və dəyişənlər əlavə edildikcə ən pis halda hesablama vaxtının eksponensial artdığını deyir. OpenAI sisteminin ETH-nin yanlış olduğunu sübut etdiyini bildirir. Şirkət bunun ETH üzərində qurulmuş yüzlərlə məqaləyə təsir edəcəyini, lakin praktiki faydanın hələ də böyük tədqiqat tələb edəcəyini deyir.

MIT-dən Ryan Williams nəticəni Russell Impagliazzo və UC San Diego-dan Ramamohan Paturi ilə birlikdə müstəqil şəkildə yoxlayır və izah edir. Qrup gizlilik sazişləri (NDA) olmadığını, ödənişsiz işlədiyini və aralıq nəticələri paylaşacağını bildirir. Açıq məktubda üçü iştiraklarının təsdiq anlamına gəlmədiyini deyir. OpenAI yazılı sübutu və Lean sübutunu dərc edir və nəticəyə həsr olunmuş konfransı maliyyələşdirməyi öhdəsinə götürüb.

Riyaziyyat: hər ölçüdə lokal hamarlaşma

Riyaziyyat nəticəsi Christopher Soggenin 1991-ci ildə irəli sürdüyü lokal hamarlaşma fərziyyəsi ilə bağlıdır. Fərziyyəyə görə, dalğaların ekstremal sıxlığı yalnız qısa müddət davam edir, ona görə dalğalar zaman üzrə ortalaşdırılanda daha hamar davranır. 2019-cu ildə Guth, Wang və Zhang tərəfindən iki ölçüdə sübut olunmuşdu. OpenAI modellərinin indi hər ölçü üçün sübut yaratdığını bildirir. OpenAI-yə görə, nəticə həmçinin bütün ölçülərdə Kakeya fərziyyəsini və Steinin məhdudiyyət fərziyyəsini sübut edir. OpenAI bu sübutu idarə edən xüsusi qrup olmadığını deyir. Xarici ekspertlə əlaqə saxladıqdan sonra tədqiqatçıların nəticəni necə yoxlayacağını özləri qərara ala bilməsi üçün sübut mətnini və Lean sübutunu birbaşa dərc etdi.

Fizika: kvant sahə nəzəriyyəsinin mövcudluğu

Fizika nəticəsi OpenAI-nin müasir nəzəri fizikada ən mühüm çərçivə adlandırdığı kvant sahə nəzəriyyəsi ilə bağlıdır. OpenAI süni intellektinin müəyyən kvant sahə nəzəriyyələrinin dörd ölçüdə mövcud olduğunu sübut etdiyini bildirir. Sübut Yang-Mills nəzəriyyəsini, kvant xromodinamikasını və ən sadə böyük vahid nəzəriyyəni əhatə edir. Yang-Mills üçün OpenAI yalnız mövcudluq hissəsini həll etdiyini, kütlə boşluğunu həll etmədiyini, ona görə Minillik Mükafatı Probleminin tam həll olunmayacağını deyir.

İşi David Gross-un rəhbərlik etdiyi qrup yönləndirəcək. Gross 2004-cü il Fizika üzrə Nobel Mükafatını bölüşüb. Qrupa həmçinin Michael Douglas, Arthur Jaffe, Igor Klebanov və Nikita Nekrasov daxildir. OpenAI Yang-Mills sübutunu Lean dilinə tərcümə etdiyini bildirir, lakin bu qrup hələlik süni intellekt materiallarını saxlayır və nəticəni özü yazmağı planlaşdırır.

Yoxlama prosesi və elmi kredit

OpenAI elmi kredit iddia etmədiyini və kreditin nəticələri izah edən qruplara getməli olduğunu deyir. Həmçinin kompromisləri qəbul edir; bura ilk yönləndiriciləri seçən şəxsin ilk olaraq kimin cəlb olunacağını müəyyən etməsinə kömək etməsi daxildir. OpenAI hansı yoxlama yanaşmasının ən yaxşı işlədiyinin hələ aydın olmadığını bildirir.

Mənbələr: The Decoder