2026. aasta septembris teatas OpenAI, et nende tehisaru on lahendanud Navier-Stokesi võrrandite olemasolu ja sileduse probleemi – ühe seitsmest matemaatilisest pähklist, mille lahendamise eest on välja pandud miljon dollarit. 88 tundi kestnud protsessis osales 10 000 autonoomset agenti, sooritades töö, mis nõuaks inimestelt 110 elutöö jagu pingutust. See saavutus, mis on kinnitatud Lean-koodi abil, muudab põhjalikult meie arusaama sellest, mida tähendab matemaatiline tõde ja kes on selle autor.
Võrrand, mis võib universumi katki teha
Kujutage ette jõge. See voolab rahulikult, keerleb ümber kivi, tekitab pisikesi mullistusi ja vahutavaid laineid. Nüüd esitage üks petlikult lihtne küsimus: kas matemaatika, mis seda voolamist kirjeldab, võib „katki minna”? Ma ei pea silmas jõge ennast, kaldaid ega paati veepinnal. Ma pean silmas neid sügavustes peituvaid võrrandeid, mis ennustavad iga veemolekuli liikumist igal ajahetkel. Kas on võimalik, et need numbrid spiraalivad ühel hetkel absurdi, ennustades kusagil keset rahulikku voolu lõpmatut kiirust?
Siin on asja kummaline osa. Navier-Stokesi võrrandid on ühed edukamad füüsikalise reaalsuse kirjeldused, mis kunagi paberile pandud. Need valitsevad verd, mis voolab teie arterites, tuult, mis kaardub ümber lennukitiiva, ja orkaani pööriseid, mida me jälgime ilmasatelliidilt. Juba 180 aastat on need toiminud. Insenerid usaldavad neid piisavalt, et ehitada asju, mis lendavad ja ujuvad. Kuid nende võrrandite sisemuses elab ohtlik ja vastuseta küsimus: kas lahendused võivad „õhku lennata”? Teatud tingimustel võivad need võrrandid luua punkti, kus vedeliku kiirus muutub matemaatiliselt ja struktuurselt lõpmatuks. See tähendaks, et füüsika on iseenda ära söönud.
See ei ole pelgalt filosoofide ajaviide. Kui need võrrandid võivad tõepoolest plahvatada, siis toetuvad kõik meie inseneriteaduse ja kliimamudelite simulatsioonid pinnasele, mida teoreetikud pole veel suutnud kindlaks tõestada. 2000. aastal kogus Clay matemaatikainstituut kokku seitse probleemi inimteadmiste piiril ja pakkus igaühe lahendamise eest välja miljon dollarit. Navier-Stokesi olemasolu ja siledus oli selles nimekirjas. Kuus neist seitsmest on jäänud lahendamatuks. Kuni 8. septembrini 2026. aastal, mil üks masin ütles, et on vastuse leidnud.
Olümpiahõbedast avatud probleemideni: Kuidas masin õppis mõtlema
Veel kaks aastat tagasi oli matemaatikaolümpiaadi ülesanne, mis loodi maailma kõige teravamate teismeliste mõistuste alandamiseks, tehisaru jaoks tõeline katsumus. 2024. aastal osalesid DeepMindi süsteemid AlphaProof ja AlphaGeometry 2 rahvusvahelisel matemaatikaolümpiaadil ja saavutasid hõbemedali taseme. See oli märkimisväärne, kuid mitte veel domineeriv. Vaid aasta hiljem naasis Gemini Deep Think samale võistlusele ja kogus 42 punktist 35 punkti. See oli juba kulla väärtusega tulemus.
See arengukõver – üks aasta hõbedast kullani – on olulisem kui ükski üksik tulemus. Matemaatikaolümpiaad ei ole mälumäng. See nõuab tõestusstrateegiate leiutamist, mida keegi pole sulle ette andnud, ja töötamist probleemidega, millel pole sinu treeningandmetes eeskuju. See, mis muutus aastatel 2024–2025, ei olnud lihtsalt andmete hulk. Arhitektuur nihkus suunas, mida uurijad nimetavad „testaegseks arvutusressursiks” (test-time compute). Selle asemel, et kiiresti tõenäolist vastust pakkuda, mõtleb mudel kauem, proovib uusi teid, astub sammu tagasi ja otsib tõestuste ruumis lahendust sarnaselt matemaatikule, kes tahvli ees higistab, mitte nagu õpilane, kes mälusoppides sorib.
2026. aasta alguseks kohtus see võimekus tõeliste, seni lahendamata probleemidega. Veebruaris lahendas DeepMindi agent nimega Aletheia iseseisvalt neli küsimust Erdősi konjektuuride andmebaasist – nimekirjast, mida professionaalsed matemaatikud polnud aastakümneid puutuda julgenud. Mais teatas OpenAI masina genereeritud ümberlükkamisest Erdősi ühikdistantsi konjektuurile. Seejärel, augustis, lahendas OpenAI mudel nimega Astra kümme pikaajalist avatud probleemi. Arvutusressursi kulu oli kokku vaid kaks tuhat dollarit. Probleemid, mis oleksid võinud täita terve teadlaskarjääri, lahendati umbes lennupileti hinna eest.
See arengukiirus ise on andmepunkt, mis väärib süvenemist.
88 tundi ja kümme tuhat mõistust: Läbimurde anatoomia
8. septembril 2026. aastal teatas OpenAI, et nende sisemine tehisaru süsteem on lahendanud Navier-Stokesi olemasolu ja sileduse probleemi. Nad ei lähenenud sellele. Nad ei kitsendanud võimalusi. Nad lahendasid selle.
Mehaanika, kuidas see sündis, on äärmiselt oluline. Süsteem ei jõudnud tõestuseni nii nagu Andrew Wiles – üksi pööningul seitse aastat salajas töötades. OpenAI rakendas 10 000 autonoomset agenti, mis töötasid paralleelselt 88 tundi. See meenutab pigem tervet uurimisinstituuti kui ühte matemaatikut. Kui tõlkida see inimlikku mastaapi – oletades heldelt kaheksatunnist tööpäeva –, läheks selleks vaja umbes 110 täispikka karjääri, mis kõik kulgevad üheaegselt ja jõuavad lõpule enne nädalavahetust.
Hoidke seda mõtet nüüd korraks endas.
Tõestust kontrolliti seejärel programmi Lean abil. See on formaalne tõestusassistent – tarkvara, mis loeb matemaatilist argumenti samamoodi nagu kompilaator loeb koodi, kontrollidinga loogilist sammu mehaaniliselt. See ei ole tavapärane vastastikretsenseerimine; see sarnaneb pigem auditile. Lean ei väsi, ei jäta ridade vahele vaatamata ega kummarda autoriteete. Kui tõestus on loogiliselt vääramatu, siis Lean ütleb seda. See sertifikaat on kitsas, kuid reaalses tähenduses tugevam kui ükski inimeste poolt avaldatud kinnitus.
Sébastien Bubeck, matemaatik OpenAI-st, lisas detaili, mis võis teadaande varju jääda: mudel lahendas esmalt iseseisvalt Euleri võrrandid – see on eelnev, lihtsam probleem –, enne kui laiendas oma arutluskäiku Navier-Stokesi juhtumile. See progressioon – lihtsamalt keerulisemale – ei tundu enam lihtsalt juhusliku otsinguna, vaid sarnaneb mõistmisega.
Kuid siin on asja konks, mida Lean meile öelda ei saa: kas see tõestus on loetav? Loogiline struktuur on garanteeritud. See, kas mõni inimmatemaatik suudab sellele tegelikult järgneda, on täiesti eraldi küsimus. Ja vastus on seni ebakindel.
Kelle idee see oli? Tõestuse taga peituv tüli
Teadaanne polnud veel ööpäevagi vana, kui New Yorgi ülikooli matemaatik Tristan Buckmaster ütles midagi, mis muutis tähistamise keeruliseks. Ta väitis, et OpenAI oli kasutanud meetodeid tema ja Anthropicu matemaatiku Levent Alpöge avaldamata tööst pärast seda, kui ettevõte sai teadlikuks nende edusammudest. See väide ei ilmunud teadusajakirjas. See levis nii, nagu asjad tänapäeval levivad: kiiresti ja ilma vahekohtunikuta.
Sébastien Bubeck lükkas süüdistuse otse tagasi. „Me ei kasutanud nende juhtnööre (prompts) ega tõestusi oma mudelite suunamiseks,” ütles ta. Tema versiooni kohaselt lahendas mudel iseseisvalt Euleri võrrandid, enne kui pandi kokku Navier-Stokesi lõplik tõestus. Kaks lugu, üks teadaanne ja ei mingit lihtsat viisi nende vahel valida.
See vastasseis paljastab midagi ebamugavamat kui lihtsalt pahatahtlikkus: meie õiguslikud ja eetilised raamistikud, mis reguleerivad intellektuaalset prioriteeti, on loodud inimeste jaoks. Need ei ole selleks valmis. Tehisaru, mis on treenitud hiiglaslikul matemaatilisel kirjavaral, imeb endasse meetodeid ja intuitsiooni ilma viidete ja joonealuste märkusteta. Kui see väljastab tõestuse, puudub sellel bibliograafia, tänusõnad või intellektuaalne sugupuu. Lean-koodi saab rida-realt kontrollida, aga see ei ütle meile, kust pärines strateegia.
Vahepeal Fermat: Tõestus, mis võttis 358 aastat, siis 11 päeva
Andrew Wiles veetis pööningul seitse aastat, et tõestada Fermat' suuremat teoreemi. Ta avaldas selle 1995. aastal. Teoreem ise oli oodanud aastast 1637.
See ajaraam muudab selle, millest Anthropic 2026. aasta septembris teatas, peaaegu ebaviisakaks: Claude'i tehisaru formaliseeris sama tõestuse 11 päevaga. Mitte ei avastanud, vaid formaliseeris. See vahe on määrav ja selles peitubki asja tuum.
See, mida Claude tegi, kuulub distsipliini nimega autoformaliseerimine. Inimlik tõestus, kirjutatud voolavas ja vahel hüplikus keeles, mida matemaatikud omavahel kasutavad, tõlgitakse Leani keelde – samasse, mida kasutati Navier-Stokesi väite kontrollimiseks. Wilesi tõestuse formaliseerimiseks kirjutas Claude 13 miljonit rida koodi. 13 miljonit rida on umbes kakskümmend korda rohkem kui Linuxi operatsioonisüsteemi tuum. See mastaap ei ole viga, vaid hind, mida tuleb maksta ambivalentsuse eemaldamise eest argumendist, mida inimmatemaatikud olid aastakümneid usaldanud – vahel ekslikult.
Nii et siin on kontrast, mida tasub meeles pidada. OpenAI agendid liikusid tundmatul territooriumil. Claude'i agendid ehitasid ideaalselt valgustatud ja kontrollitava tee läbi territooriumi, mille Wiles oli juba läbinud. Mõlemad saavutused on reaalsed. Need lihtsalt ei ole üks ja seesama asi. Ja nende segiajamine on koht, kus pealkirjad tavaliselt rappa lähevad.
Miljonidollarine küsimus ilma selge vastuseta
Clay matemaatikainstituut lõi aastatuhande auhinnaprobleemid 2000. aastal. Seitse probleemi, miljon dollarit igaühe eest, mis antakse välja alles pärast ranget sõltumatut kinnitamist. Ükski ettevõtte teadaanne, kui dramaatiline see ka poleks, ei ava seda auhinnarahalaegast automaatselt.
Protseduuriline reaalsus on selline: Clay peab tõestuse esmalt sertifitseerima. Ja reeglid, mis pandi kirja veerand sajandit enne seda, kui masinlik arutlusvõime suutis luua ainsa rea loogikat, ei ütle midagi selle kohta, kas preemia saajaks võib olla korporatsioon või tehisintellekt. See tühimik ei ole tehniline pisiasi. See on tõeline avatud küsimus, mida instituut pole 2026. aasta septembri seisuga veel lahendanud.
Lisage sellele ebakindlusele veel vaidlus Buckmasteriga ja seejärel tõestuse enda sügavam probleem: 10 000 agenti, 88 tundi ja masinaga kontrollitud sertifikaat, mis on oma olemuselt inimestele läbimatu. Lean kinnitab, et loogika on raudne. See aga ei muuda argumenti meile arusaadavaks.
Matemaatika on alati olnud see üks distsipliin, kus „tõene” ja „mõistetav” tähendasid ühte ja sedasama. See, millega see tehisaru läbimurre meid silmitsi paneb, on küsimus, mida auhinna reeglid lahendada ei suuda: kas miski saab olla tõene ja täielikult kinnitatud, olles samas inimlikule mõistusele täiesti hoomamatu? Ja kui nii, siis kas see on ikka veel matemaatika või midagi hoopis uut?
