2026. gada 2. augusts
2026. gada 1. augustā OpenAI oficiāli paziņoja, ka tās jaunākā AI sistēma Astra ir atrisinājusi desmit ilgstoši neatrisinātas matemātikas un teorētiskās datorzinātnes problēmas. Dažas no tām bijušas atvērtas vairāk nekā pusgadsimtu. Šis nav kārtējais “AI sasniedza cilvēka līmeni” virsraksts — šoreiz katrs pierādījums ir formalizēts Lean 4 sistēmā un ir pilnībā verificējams ar datoru. Neviena no šīm problēmām nebija redzējusi progresu galvenajā rezultātā vismaz desmit gadus, lielākā daļa — daudz ilgāk.
Kas ir Astra?
Astra nav parasts čatbots. Tā ir vairāku AI aģentu (multi-agent) sistēma, kas spēj koordinēt vairākus modeļus, lai tie stundām vai pat dienām ilgi sadalītu, pētītu, kritizētu un pārskatītu sarežģītas matemātiskas problēmas. Tas ir fundamentāls solis no īsām interaktīvām atbildēm uz ilgstošiem pētniecības darbplūsmas uzdevumiem.
OpenAI izpilddirektors Sems Altmans jau iepriekš demonstrēja Astra Vašingtonas politikas veidotājiem, taču publiska izlaišanas datuma pagaidām nav. Astra joprojām atrodas iekšējā testēšanas fāzē.
Desmit atrisinātās problēmas
1. Augstas dimensijas sfēru pakošana
Problēma: Kāds ir maksimālais blīvums, ar kādu var sapakot sfēras augstas dimensijas telpā?
Rezultāts: Jaunas augšējās robežas sfēru pakošanas blīvumam, sasniedzot Cohn–Elkies slieksni — teorētisko robežu, ko 2003. gadā definēja Henrijs Kons un Noams Elkijs. Šis ir fundamentāls rezultāts ģeometrijā ar pielietojumiem kodu teorijā un informācijas pārraidē.
2. Binārie un sfēriskie kodi
Problēma: Kāds ir maksimālais bināro kodu izmērs noteiktam minimālajam attālumam starp kodiem?
Rezultāts: Eksponenciāli uzlabotas robežas maksimālajam bināro kodu izmēram jebkuram noteiktam minimālajam attālumam, ar analogiem rezultātiem augstas dimensijas sfēriskajiem kodiem. Šiem rezultātiem ir tieša ietekme uz kļūdu labošanas kodiem, ko izmanto visur — no CD atskaņotājiem līdz kvantu datoriem.
3. Ne-sofiskās grupas
Problēma: Vai eksistē grupas, kas nav sofiskas? Sofiskās grupas ir grupas, kuras var aproksimēt ar galīgām grupām — tās ir centrāls jēdziens grupu teorijā.
Rezultāts: Konstrukcija, kas pierāda ne-sofisku grupu eksistenci — viens no lielākajiem atvērtajiem jautājumiem grupu teorijā. Šis rezultāts atrisina problēmu, kas bija atvērta kopš 2000. gada.
4. Connes stinguma hipotēze
Problēma: Vai noteiktas grupas unikāli nosaka to von Neimana algebras? Alēns Konns (Fields medaļas laureāts) izvirzīja hipotēzi, ka tā ir.
Rezultāts: Hipotēzes atspēkojums — Astra atrada pretpiemēru, parādot, ka dažādas grupas var radīt vienas un tās pašas von Neimana algebras. Tas ir fundamentāls rezultāts operatoru algebrās.
5. Aritmētiskā ķēžu sarežģītība
Problēma: Cik lielai jābūt aritmētiskajai formulai, lai aprēķinātu matricas permanentu? Šī ir viena no centrālajām problēmām datorzinātnes sarežģītības teorijā.
Rezultāts: Jaunas apakšējās robežas permanenta aprēķināšanai — aritmētiskās formulas apakšējā robeža ir n⁴/log n. Tas ir būtisks solis uz priekšu algebriskajā sarežģītības teorijā.
6. Kvantu paralēlā atkārtošana
Problēma: Ja spēlētāji spēlē vienu un to pašu kvantu spēli vairākas reizes paralēli, vai viņu izredzes uzvarēt samazinās eksponenciāli?
Rezultāts: Eksponenciāla paralēlās atkārtošanas teorēma vispārīgām divu spēlētāju kvantu spēlēm — paplašinot fundamentālu principu no klasiskās sarežģītības teorijas uz kvantu pasauli.
7. Tuvākā vektora problēma (CVP)
Problēma: Cik grūti ir atrast tuvāko režģa punktu dotajam vektoram? CVP ir fundamentāla problēma post-kvantu kriptogrāfijā.
Rezultāts: Polinomiāla faktora aproksimācijas grūtība CVP — pierādījums, ka pat aptuvena CVP atrisināšana ir NP-grūta. Tas stiprina post-kvantu kriptogrāfijas matemātiskos pamatus.
8. Ehrhart tilpuma hipotēze
Problēma: Kāds ir maksimālais iespējamais tilpums izliektam ķermenim, kura centroīds ir tā vienīgais iekšējais režģa punkts?
Rezultāts: Noteikts maksimālais tilpums katrai dimensijai — atrisinot Ežēna Ehrharta vārdā nosaukto hipotēzi, kas bija atvērta vairāk nekā 50 gadus.
9. Daudzkrāsu Ramsey skaitļi — Erdős problēma 183
Problēma: Kāds ir minimālais pilnā grafa izmērs, kas garantē vienkrāsainu trijstūri, ja šķautnes krāso ar vairākām krāsām? Šī ir klasiska Pols Erdőss problēma.
Rezultāts: Supereksponenciāla apakšējā robeža daudzkrāsu trijstūru Ramsey skaitļiem. Erdős problēma 183 — atrisināta.
10. Ekstremālo grafu teorija — Erdős problēmas 146 un 180
Problēma: Divas klasiskas Erdős problēmas par grafu kompaktumu un deģenerāciju ekstremālajā grafu teorijā.
Rezultāts: Atrisinātas abas problēmas — Erdős 146 un Erdős 180. Kopā ar #9 tas nozīmē, ka Astra vienā piegājienā atrisināja trīs Erdős problēmas.
Kā tas darbojas?
Visi desmit pierādījumi ir formalizēti ar Lean 4 — modernu pierādījumu pārbaudes sistēmu, kas ļauj katru loģisko soli verificēt ar datoru. Pierādījumi ir publicēti GitHub repozitorijā openai/ten-proofs ar atsevišķiem .lean failiem katram rezultātam. Kopējās izmaksas tokenos: aptuveni $2 000. Salīdzinājumam — tipiska matemātiķa gada alga ir desmitiem vai simtiem tūkstošu dolāru, un šīs problēmas nebija atrisinātas gadu desmitiem.
Atribūcija: kam pieder atklājums?
Mēs uzskatām, ka atribūcijai godīgi jāatspoguļo tas, kā rezultāts tika iegūts: apgalvot cilvēka autorību pierādījumam, ko pilnībā ģenerējusi AI sistēma, nozīmētu sagrozīt gan sistēmas ieguldījumu, gan patiesa cilvēka intelektuālā darba būtību.
OpenAI
Cilvēki palīdzēja sagatavot manuskriptus un formalizēt pierādījumus Lean sistēmā, bet matemātiskos argumentus ģenerēja AI sistēma. OpenAI uzņemas atbildību par pierādījumu pareizību.
Konteksts: ne tikai šie desmit rezultāti
Šis nav Astra pirmais matemātiskais sasniegums. 2026. gada maijā Astra jau bija atspēkojusi Erdős vienības attāluma hipotēzi — ilgstošu minējumu diskrētajā ģeometrijā. Šis rezultāts jau ir iedvesmojis vairākus turpmākus cilvēku pētījumus. Tas parāda, ka AI ģenerētie rezultāti neaizstāj cilvēku matemātiķus — tie iedvesmo jaunus pētījumus un paver jaunus virzienus.
Ko tas nozīmē zinātnei?
Īstermiņā: Verificējami pierādījumi kļūst par standartu. Jauni pētījumu virzieni. Demokratizācija — $2 000 pret gadiem cilvēka darba.
Ilgtermiņā: Zinātnes paātrinājums. Jauna veida sadarbība starp cilvēku un AI. Ētikas jautājumi — Leidenes deklarācija par AI un matemātiku jau ir parakstīta.
Kas tālāk?
OpenAI pagaidām nav paziņojis publiskas izlaišanas datumu, cenas vai API pieejamību. Astra joprojām ir iekšējā testēšanā. Taču viens ir skaidrs: mēs esam liecinieki fundamentālam pavērsienam — AI sistēmai, kas ne tikai atbild uz jautājumiem, bet rada jaunas zināšanas.
Avoti: OpenAI — Ten advances · GitHub openai/ten-proofs · Creati.ai
