OpenAI компаниясы математика, информатика және физика салаларында өз ЖИ модельдері ұсынған үш дәлелдемені тексеруді физика бойынша Нобель лауреаты Дэвид Гросс сияқты бірқатар тәуелсіз ғалымдардан сұрады. Бұл туралы компания 26 қазандағы блог жазбасында хабарлады.
OpenAI мәліметінше, оның модельдері 1999 жылы ұсынылған экспоненциалды уақыт гипотезасын (ETH) жоққа шығарды: бұл гипотеза бойынша кейбір есептеу есептерін белгілі бір шектен жылдам шешу мүмкін емес. Ұсынылған алгоритм гипотеза рұқсат еткеннен жылдамырақ жұмыс істейді, бірақ іс жүзінде тым көп есептеу ресурсын қажет етеді, сондықтан P және NP мәселесін шешпейді деп компания мәлімдеді.
Математикада модельдер Кристофер Соджи 1991 жылы ұсынған локальды тегістеу гипотезасын бұрын тек екі өлшем үшін дәлелденген күйден барлық өлшемге дейін кеңейтті деп OpenAI мәлімдеді. Сонымен қатар компания Какея гипотезасы мен Стейннің Фурье түрлендіруін шектеу гипотезасының дәлелдемесін ұсынды. Физикада модельдер төртөлшемді кеңістік-уақытта өзара әрекеттесетін кванттық өріс теорияларының, соның ішінде қарапайым бөлшектердің өзара әрекеттесуін сипаттайтын Янг-Миллс теориясының, бар екенін дәлелдеді.
Информатика бойынша нәтижені ETH гипотезасын бастапқыда ұсынған Калифорния университетінің (Сан-Диего) ғалымдары Рассел Импальяццо мен Рамамохан Патури, сондай-ақ MIT профессоры Райан Уильямс тексереді. Физика бөлігін 2004 жылы физика бойынша Нобель сыйлығын алған Гросс басқаратын, құрамында Майкл Дуглас, Артур Джаффе, Игорь Клебанов және Никита Некрасов бар топ тексереді.
Рецензенттер өздерінің қатысуын OpenAI қорытындыларын растау деп қабылдамау керегін атап өтті. Компанияның өзі жарияланған материалдарды әлі түсінуді қажет ететін өңделмеген зерттеу деректері деп атады және тартылған ғалымдарды осы жұмыстың кураторлары деп жазды. Барлық дәлелдемелер GitHub-та жазбаша түрде және компьютермен тексеруге мүмкіндік беретін Lean форматында жарияланды; локальды тегістеу гипотезасының Lean дәлелдемесі 19 қазанмен, ал физика бойынша алғашқы дәлелдемелер 9 және 18 қыркүйекпен белгіленген.
OpenAI сондай-ақ осы тақырып бойынша семинарлар мен конференцияларға, соның ішінде ETH жоққа шығарылуының салдарын талқылайтын жекелеген кездесуге арнап Simons Foundation-ға $5 млн аударуға уәде берді. Дәлелдемелердің күшінде қалатыны сыртқы рецензенттердің жұмысына байланысты болады.
