OpenAI ir izlaidusi pirmos rezultātus Astra, tās nākamais mākslīgā intelekta modeliskas ir panākusi progresu desmit atklātu problēmu risināšanā matemātikā un teorētiskajā datorzinātnē. Pēc uzņēmuma domām, dažas no šīm problēmām ir pastāvējušas vairāk nekā desmit gadus bez būtiska progresa. Paziņojums, kas publicēts 2026. gada 1. augustā, ir izraisījis satraukumu zinātnieku aprindās, lai gan daudzi pētnieki lūdz ievērot piesardzību, līdz rezultātus izskatīs neatkarīgi eksperti.
Ar to, ka šī reklāma atšķiras no citām līdzīgām reklāmām OpenAI ir publicējis ne tikai rezultātus, bet arī formalizētās demonstrācijas Lean verifikācijas sistēmā. Tas ļauj jebkuram matemātiķim automātiski pārbaudīt argumentu pareizību. Turklāt uzņēmums ir detalizēti aprakstījis atklāšanas procesu, tostarp 249 lappuses ar argumentiem un 62 lappusēm argumentētu piezīmju, nodrošinot neparastu caurspīdīgumu šāda veida saziņā.
Desmit problēmas un to nozīme
Astra risinātās problēmas aptver ļoti dažādas mūsdienu matemātikas jomas. Starp tiem izceļas Connes stingrības minējuma atspēkošanakas izriet no lielas ietekmes uz operatoru algebrām un nepārprotamu grupu konstruēšanu, kas ir fundamentāls jautājums grupu teorijā. Ir iegūtas arī jaunas augšējās robežas lielo izmēru sfēru iepakošanai, problēma ar tiešo pielietojumu informācijas teorijā un kļūdu labošanas kodiem.
Kombinatorikas jomā Astra ir atrisinājis trīs ungāru matemātiķa Pola Erdēsa izvirzītos uzdevumus: 146., 180. un 183. uzdevumu. Pēdējo no tiem, kas saistīti ar daudzkrāsainajiem Remzija skaitļiem, eksperts Tomass Blūms raksturojis kā “vispārsteidzošāko no visa saraksta”. Citi sasniegumi ietver jaunas apakšējās robežas aritmētiskajām shēmām, paralēlu atkārtojumu teorēmu kvantu spēlēm un rezultātus par tuvākās vektora problēmas tuvināšanas cietību, kas attiecas uz pēckvantu kriptogrāfiju.
Izmaksas un metodoloģija
OpenAI to ir atklājis Kopējās izmaksas žetonos, lai atrastu šos risinājumus, bija aptuveni 2000 USDpamatojoties uz Sol API likmēm. Tomēr šis skaitlis neietver modeļu apmācību vai cilvēku pētnieku darbu. Process apvienoja Astras argumentu ģenerēšanu ar ekspertu iejaukšanos, kas palīdzēja pārvērst šos argumentus skaidros manuskriptos un vēlāk automātiski pārbaudāmos Lean sertifikātos.
Formalizācija Lean ir galvenais: tā ļauj ikvienam, kam ir piekļuve programmatūrai, soli pa solim pārbaudīt, vai demonstrācija ir pareiza no loģiskā viedokļa. Tomēr matemātiķiem joprojām ir jāpārbauda, vai izmantotās definīcijas un pieņēmumi atbilst sākotnējai problēmaiko mašīna nevar paveikt viena. OpenAI ir uzņēmies atbildību par dokumentu pareizību, taču nav identificējis nevienu neatkarīgu grupu, kas būtu publiski izvērtējusi visus desmit rezultātus.
Salīdzinājums ar Deep Blue un nepieciešamā piesardzība
Vairāki mediji šo pagrieziena punktu salīdzinājuši ar Deep Blue uzvaru pār Garri Kasparovu 1997. gadā, taču eksperti atceras, ka matemātika ir sarežģītāka nekā šahs. Spēlē rezultāts ir tūlītējs; Matemātikā pierādījumam var būt nepieciešami mēneši salīdzinošās pārskatīšanas, pirms to pieņem. Turklāt Astra nav publiski pieejama, tāpēc ārējie pētnieki nevar reproducēt procesu vai zināt modeļa atteices līmeni.
OpenAI jau ir bijusi pieredze, kurā pēc speciālistu pārbaudes šķietami pareizie rezultāti izrādījās kļūdaini. 2026. gada februārī uzņēmums iesniedza First Proof izaicinājuma risinājumus un vēlāk atzina, ka viens no tiem bija nepareizs. Tāpēc, Zinātniskā sabiedrība uzstāj, ka šie desmit sasniegumi jāuzskata par daudzsološiem, bet ne kā galīgiemlīdz tie tiek neatkarīgi pārbaudīti.
Eiropas līmenī pētnieki no universitātēm, piemēram, Madrides Politehnikuma vai Kembridžas Universitātes, ir izrādījuši interesi par OpenAI publicēto Lean sertifikātu analīzi. Iespēja mākslīgajam intelektam sadarboties jaunu matemātisko zināšanu ģenerēšanā paver diskusijas par cilvēku zinātnieku lomu nākotnē, lai gan uzņēmums uzsver, ka rezultātu apstiprināšana un kontekstualizācija vēl daudzus gadus būs atkarīga no ekspertiem.
Kopumā Astras paziņojums iezīmē pagrieziena punktu: mākslīgais intelekts vairs neaprobežojas ar uzdevumu risināšanu ar zināmām atbildēm, bet sāk piedāvāt oriģinālus argumentus par jautājumiem, kas atrodas uz zināšanu robežas. Īstais “dziļi zilais brīdis” matemātikā var nenākt ar vienu iespaidīgu rezultātu, bet gan pakāpeniski, jo šie modeļi kļūst par līdzstrādniekiem, kas spēj izpētīt tūkstošiem ceļu un formalizēt rezultātus, ko neviens pētnieks iepriekš nav pārbaudījis.
