OpenAI kompanıasynyń Astra modeliniń ishki nusqasy matematıka salasynda serpilis jasap, on jyldan astam ýaqyt boıy ashyq kúıinde qalǵan matematıka men ınformatıkanyń 10 esebin sheshti. Nátıjeler qatań dáleldemeler túrinde usynyldy, dep habarlaıdy infohub.kz saıty.
OpenAI kompanıasy GitHub platformasynda Apache 2.0 lısenzıasymen 10 sheshilmegen esepke arnalǵan 249 bettik qoljazba jınaǵyn jáne Lean 4 sıfrlyq sertıfıkattaryn jarıalady. Algorıtm arqyly shyǵarylǵan barlyq dáleldemeler logıkalyq tizbekterde birde-bir olqylyqsyz formaldy mashınalyq tekserýden sátti ótti.
Sheshilgen máselelerdiń ishinde — 1980 jyly usynylǵan Konnnyń qatańdyq gıpotezasyn joqqa shyǵarý, nesofıalyq toptyń bar ekendiginiń dáleldemesin qurý, sondaı-aq Pol Erdóshtiń kóp tústi Ramseı sandaryna qatysty №183 esebin sheshý. Sonymen qatar, Astra kóp ólshemdi keńistikterde sferalardy oraý, kvanttyq qaıtalaý jáne algorıtmderdiń kúrdeliligi salalarynda da sheshimder tapty.
Jańa Astra júıesi birneshe agentterdiń jumysyn úılestirý arqyly kúrdeli eseptermen uzaq ýaqyt jumys isteýge arnalǵan. Zertteýshi Noam Braýnnyń aıtýynsha, tokenderge jumsalǵan shyǵyn nebári 2000 dollardy qurady. Degenmen, usynylǵan nátıjelerdiń bári áli de ǵalymdardyń saraptamalyq resenzıasynan ótýi tıis.