OpenAI ir publicējis pirmos rezultātus. Astra, viņu nākamais mākslīgā intelekta modelisUzņēmums ir panācis progresu desmit neatrisinātu problēmu risināšanā matemātikā un teorētiskajā datorzinātnē. Pēc uzņēmuma teiktā, dažas no šīm problēmām vairāk nekā desmit gadus nebija atrisinātas bez būtiska progresa. Paziņojums, kas publicēts 2026. gada 1. augustā, ir izraisījis ievērojamu sajūsmu zinātnieku aprindās, lai gan daudzi pētnieki aicina ievērot piesardzību, līdz rezultātus būs pārskatījuši neatkarīgi eksperti.
Tas, kas atšķir šo reklāmu no citām līdzīgām, ir tas, ka 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 argumentu lappuses un 62 pamatotu piezīmju lappuses, nodrošinot neparastu caurspīdīgumu šāda veida komunikācijā.
Desmit problēmas un to nozīme
Astra risinātās problēmas aptver ļoti dažādas mūsdienu matemātikas jomas. Starp tām ir: Konnesa stingrības hipotēzes atspēkojumsŠim rezultātam ir būtiska ietekme uz operatoru algebrām, un nesofisko grupu skaidra konstruēšana ir fundamentāls jautājums grupu teorijā. Ir iegūtas arī jaunas augšējās robežas sfēras pakošanai augstās dimensijās, kas ir problēma ar tiešiem pielietojumiem informācijas teorijā un kļūdu labošanas kodos.
Kombinatorikas jomā Astra ir atrisinājusi trīs ungāru matemātiķa Paula Erdoša izvirzītās problēmas: 146., 180. un 183. problēmu. Pēdējo no tām, kas saistīta ar daudzkrāsainiem Ramsija skaitļiem, eksperts Tomass Blūms ir raksturojis kā "pārsteidzošāko no visa saraksta". Citi sasniegumi ietver jaunas apakšējās robežas aritmētiskajām shēmām, paralēlās atkārtošanas teorēmu kvantu spēlēm un rezultātus par tuvākā vektora problēmas aproksimācijas cietību, kas ir būtiski postkvantu kriptogrāfijai.
Izmaksas un metodoloģija
OpenAI ir atklājis, ka Kopējās žetonu izmaksas šo risinājumu atrašanai bija aptuveni 2.000 USD.Saskaņā ar Sol API likmēm šis skaitlis neietver modeļu apmācību vai cilvēku pētnieku darbu. Process apvienoja Astra argumentu ģenerēšanu ar ekspertu ieguldījumu, kas palīdzēja šos argumentus pārvērst skaidros manuskriptos un pēc tam automātiski pārbaudāmos Lean sertifikātos.
Formalizācija ir galvenais Lean metodoloģijā: tā ļauj ikvienam, kam ir piekļuve programmatūrai, soli pa solim pārbaudīt, vai demonstrācija ir loģiski pareiza. Tomēr Matemātiķiem joprojām ir jāpārbauda, vai izmantotās definīcijas un pieņēmumi atbilst sākotnējai problēmai.To mašīna pati nevar izdarīt. OpenAI ir uzņēmusies atbildību par darba labošanu, taču nav identificējusi 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 plašsaziņas līdzekļi šo pavērsiena punktu ir salīdzinājuši ar Deep Blue uzvaru pār Gariju Kasparovu 1997. gadā, taču eksperti norāda, ka Matemātika ir sarežģītāka nekā šahsSpēlē rezultāts ir tūlītējs; matemātikā pierādījuma pieņemšanai var būt nepieciešami vairāki mēneši ilga salīdzinošā vērtēšana. Turklāt Astra nav publiski pieejama, tāpēc ārējie pētnieki nevar reproducēt procesu vai noteikt modeļa atteices līmeni.
OpenAI iepriekš ir bijusi pieredze, kad šķietami pareizi rezultāti pēc ekspertu veiktās pārskatīšanas izrādījās nepareizi. 2026. gada februārī uzņēmums iesniedza risinājumus First Proof izaicinājumam un vēlāk atzina, ka viens no tiem bija nepareizs. Tāpēc Zinātnieku aprindas uzstāj, ka šie desmit sasniegumi jāuzskata par daudzsološiem, bet ne par galīgiem.līdz tie tiek neatkarīgi pārbaudīti.
Eiropā pētnieki no tādām universitātēm kā Madrides Politehniskā universitāte un Kembridžas Universitāte ir izteikuši interesi par OpenAI publicēto Lean sertifikātu analīzi. Mākslīgā intelekta iespēja sadarboties jaunu matemātisko zināšanu radīšanā rosina debates par cilvēku zinātnieku lomu nākotnē, lai gan uzņēmums uzsver, ka rezultātu validācija un kontekstualizācija vēl daudzus gadus būs atkarīga no ekspertiem.
Tomēr Astra paziņojums iezīmē pagrieziena punktu: mākslīgais intelekts vairs neaprobežojas tikai ar problēmu risināšanu ar zināmām atbildēm, bet gan sāk piedāvāt oriģinālus argumentus par jautājumiem, kas ir zināšanu priekšplānā. Patiesais "dziļi zilais brīdis" matemātikā, iespējams, nepienāks 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š nebija pārbaudījis.
