OpenAI компаниясының жаңа Astra моделінің ішкі нұсқасы математика саласында он маңызды нәтижеге қол жеткізді. Әзірлеушілер бұл жетістіктерді жоғары өлшемді геометрия мен кодтау теориясындағы елеулі прогресс ретінде сипаттады. Компания нейрондық желінің пайымдау барысын түсіндіре отырып, толық талдаулары бар көлемді мақала жариялады. Зерттеушілер сондай-ақ барлық дәлелдемелердің Lean 4 тілінде ресімделуі бар арнайы репозиторий жариялады. Математикалық аргументтерді жүйенің ішкі нұсқасы адамның тікелей қатысуынсыз толық өз бетінше жасады. Адамдар нейрондық желімен бірлесе отырып қорытынды қолжазбаларды дайындап, оларды ғылыми қоғамдастыққа ұсынды. OpenAI өкілдері зияткерлік нәтижелерді алу процесін сипаттай отырып, адал атрибуцияның маңыздылығын атап өтті. Авторлықты адамға таңу ғылымды дамытып жатқан ЖИ-дің нақты үлесін бұрмалаған болар еді. Шешімдерді іздеуге жұмсалған жалпы есептеу көлемі шамамен екі мың долларды құраған болар еді. Бұл бағалауда математикалық қоғамдастық орындайтын кейінгі тексеру ескерілмеген.
Мәлімделген нәтижелердің бірі тікелей кванттық параллельді қайталанушылық мәселесіне қатысты. Бұл тұжырымдама интерактивті ойынды бірнеше рет іске қосқанда табыс ықтималдығының өзгеруін сипаттайды. Нейрондық желі екі қатысушысы бар ерікті шекті кванттық ойындар үшін экспоненциалды қайталанушылықты дәлелдеді. Бұл нәтиже жаңа криптографиялық протоколдарды әзірлеу үшін маңызды болуы мүмкін. Тағы бір жетістік торды ең жақын векторды іздеудің күрделі есебіне қатысты. Модель осы есепті жуықтап шешудің күрделілігі туралы одан да күшті нәтиже алды. OpenAI жарияланымының басты жетістігі ретінде софиялық емес топты сәтті құру аталады. Басқа нәтижелер арасында жоғары өлшемдердегі шар орналастыруы үшін жетілдірілген бағалаулар атап өтілді. Зерттеушілер сонымен қатар арифметикалық схемалық күрделіліктегі жаңа төменгі шектерді ұсынды. Компания Конн қаттылығының белгілі гипотезасына қарсы мысал табылғанын мәлімдеді.
Lean тілінде дәлелдемелерді ресімдеу қарапайым логикалық олқылықтар қаупін айтарлықтай төмендетеді. Жарияланған кодты машиналық әдістермен оңай жинап тексеруге болады. Алайда автоматты тексеру толыққанды ғылыми сараптаманы мүлдем алмастырмайды. Математиктерге ресми тұжырымдардың бастапқы есептерге сәйкестігінің дәлдігін бағалау әлі алда. OpenAI Халықаралық математикалық одақ мақұлдаған Лейден декларациясына тікелей сілтеме жасады. Бұл құжат зерттеулерде ЖИ пайдаланғанда мөлдір атрибуцияны сақтауға шақырады. Компания жарияланған материалдардың дұрыстығы үшін толық жауапкершілік алады. Бұл ретте математикалық аргументтердің өзі адамдарға емес, жүйеге жатқызылады. The Quantum Insider басылымы Astra моделінің жария іске қосылу күнінің жоқтығын атап өтті. Әзірлеушілер нейрондық желіні сыртқы сарапшылардың тәуелсіз тестілеуіне әлі ұсынған жоқ.