OpenAI жасанды интеллектінің 722 математикалық жұмысын ашты

OpenAI 6 қазанда ішкі ЖИ-моделі жазған 722 математикалық қолжазбаны жариялады. Жұмыстар 372 тақырыптық топқа бөлінген. Компания оларды дәлелдемелерімен және модельдің ойлау барысының қысқаша сипаттамасымен бірге GitHub-тағы ашық репозиторийге салды. Ал модельдің өзін OpenAI әзірге шығармайды, атауын да айтпайды.

Тәжірибе кезінде модельге 4000-ға жуық зерттеу есебі берілді. Қабылданған әр нәтижеге ол орта есеппен ChatGPT Pro-ның шамамен үш сағаттық ойлануына тең есептеу жұмсаған. Дәлелдемелердің көбі Lean тіліне аударылған. Бұл жүйеде әр қадамның дұрыстығын рецензент емес, компьютер тексереді.

Модель қандай есептер шығарды

OpenAI он топ бойынша модельдің ойлау барысын қысқаша ашты. Олардың арасында π санының иррационалдық өлшемі, дөңес денелердің көлемі туралы Малер гипотезалары және топтық сақиналарға қатысты Капланский гипотезасы бар. Математикалық физикадан да есептер енген. Мысалы, плазманың қозғалысын сипаттайтын үш өлшемді релятивистік Власов — Максвелл жүйесі.

AINews таратылымының есебінше, нәтижелердің шамамен бестен бірі — теріске шығару мен қарсы мысалдар. Сондықтан модель жай ғана нұсқаларды сұрыптап отыр деген сынның бір бөлігі әлсірейді.

Компанияның өз ескертпелері

OpenAI қолжазбалардың көбі Lean-да рәсімделгенін, бірақ бәрі емес екенін ашық жазады. «Рәсімделмеген кейбір нәтижелерде қате болуы мүмкін. Ондай қателерді тез түзетуге тырысамыз», — делінген репозиторий сипаттамасында. Кей жұмыстар сол модельдің бұрынғы қорытындыларына сүйенеді. Яғни біреуіндегі қате басқаларына да әсер етуі ықтимал.

Жариялау қағидаларын компания Принстондағы Озық зерттеулер институты жанындағы математика және ЖИ жөніндегі кеңес тобымен талқылаған. OpenAI салалық семинарлар мен конференцияларды қаржыландыруға уәде берді. Ал модельдің өзін қауіпсіз деп санаған кезде кейінірек шығармақ.

Саладағы пікір екіге бөлінді. Кейбір зерттеушілер бұл шығарылымды математика үшін бетбұрыс сәт деп атады. Басқалары жауабы нақты тексерілетін есептердегі табыс формалдылығы төмен салаларға ауыса ма деп күмәнданады. Жүздеген қолжазбаны тәуелсіз математиктердің тексеруіне бірнеше ай кетеді.

OpenAI үшін бұл — бәсекелестердің жаңа ашық модельдері, соның ішінде Mistral-дың триллиондық моделі шыққан тұста ғылымдағы ЖИ бойынша көшбасшылыққа өтінім. Математикалық модельдің қашан шығатынын және пайдаланушыларға, соның ішінде Қазақстанда, қолжетімді болатынын компания әзірге айтпады.

Дереккөздер: OpenAI — нәтижелерді жариялау туралы хабарлама, GitHub — openai/math репозиторийі, Interesting Engineering — шығарылым егжей-тегжейі, Latent Space (AINews) — нәтижелер құрамы мен пікірлер