6. oktoobril 2026 tabas matemaatikamaailma pretsedenditu sündmus, kui OpenAI avaldas korraga 722 tehisintellekti loodud käsikirja. See tohutu infovoog tähistab üleminekut ajastusse, mida tuntakse nime all Matemaatika 2.0, kus tõe kriteerium nihkub inimlikult konsensuselt masinloogikale ja formaalsele kontrollile. Olukorras, kus tõestusi tekib tööstuslikes kogustes, muutub uueks defitsiidiks mitte intelligentsus, vaid inimlik otsustusvõime ja arusaam sellest, mis on oluline.

Ühel oktoobrikuu teisipäeval muutus matemaatika veidi kummaliseks

Esmaspäeva õhtul Vaikse ookeani aja järgi — mis tähendas teisipäeva hommikut suurema osa maailma jaoks — ilmus tarkvaraplatvormile GitHub 722 käsikirja. Selleks ajaks, kui Euroopa matemaatikud oma hommikukohvi taha istusid, oli nende ette kerkinud paberite virn kõrgem, kui keegi suudaks läbi lugeda terve kümnendi jooksul.

See ei olnud lihtsalt mustandite või uitmõtete kogum. 6. oktoobril 2026 avaldas OpenAI 722 tehisintellekti loodud matemaatilist käsikirja, mis sisaldas väidetavaid tulemusi 372 erinevas valdkonnas. Saatemärkmete kohaselt oli nende seas edusamme kahes tänapäeva matemaatika kõige kurikuulsamas lahendamata probleemis: Navier-Stokesi võrrandite juures, mis kirjeldavad vedelike liikumist ja on trotsinud täielikku mõistmist alates 19. sajandist, ning Hodge’i hüpoteesi osas, mis on 1950. aastast avatuna püsinud abstraktne pusle algebralises geomeetrias.

Siin on aga see kummaline osa. Keegi ei osanud veel öelda, kas see kõik on tõsi.

See ei ole etteheide kellegi kompetentsile. See on struktuurne fakt selle kohta, kuidas matemaatiline tõde on alati töötanud. Kontrollimine on aeglane, hoolikas ja läbinisti inimlik protsess. Ühe suure tõestuse — olgu selleks kasvõi Andrew Wiles ja Fermat’ viimane teoreem — seedimine ja kontrollimine kogukonna poolt võtab aastaid, enne kui see lõplikult omaks võetakse. 722 käsikirja ei ole laine, mida kogukond suudaks kontrollida. See on uputus, mis tungib sisse otse läbi lae.

Navier-Stokesi võrrandid kirjeldavad midagi nii tavalist nagu vannist väljavoolav vesi, ometi on nende täielik matemaatiline käitumine kolmes dimensioonis siiani tõestamata. Hodge’i hüpotees aga küsib sisuliselt seda, kas teatud geomeetrilisi kujundeid saab alati kokku panna lihtsamatest algebralistest tükkidest. Mõlema probleemi lahendamise eest on välja pandud miljoni dollari suurune auhind. Mõlemat oli nüüd, nagu väideti, „puudutatud“.

Kas see „puudutamine“ tähendab ka lahendamist — sellele vastamine võtab tunduvalt kauem aega kui ühe teisipäeva.

Kuidas matemaatika on alati otsustanud, mis on tõsi

Teoreem ei ole tõene sellepärast, et arvuti nii ütleb. See on tõene, sest piisav hulk piisavalt tarku inimesi leidis selle veenva olevat. See lause võib kõlada nagu nali akadeemilise maailma aadressil, kuid tegelikult on see täpne kirjeldus sellest, kuidas matemaatilisi teadmisi on sajandeid ehitatud. Matemaatikas on vastastikune eksperthinnang ehk retsenseerimine tõe enda kandekonstruktsioon. See pole pelgalt kvaliteedifilter, mis hiljem külge poogitakse, vaid mehhanism, mille kaudu tõestus kasvab eraviisilisest arvutusest avalikuks faktiks.

Nimetagem seda versiooniks Matemaatika 1.0. Selle loogika on oma olemuselt sotsiaalne. Tulemus siseneb kaanonisse siis, kui inimeste kogukond, kes on piisavalt kvalifitseeritud seda hindama, otsustab ühiselt, et nad ei suuda sealt auku leida. See süsteem töötas suurepäraselt väga pikka aega, sest tõestused saabusid piisavalt aeglaselt, et inimesed jõuaksid neid lugeda.

See tingimus ei kehti enam. Need 722 käsikirja, mis 6. oktoobril GitHubi maandusid, esindavad mahtu, mida ükski retsensentide võrgustik ei suuda seedida. Arhitektuur ei ole katki; see on lihtsalt koormuse all kokku kukkumas.

See on täpselt see kontekst, milles Terence Tao — üks meie aja säravamaid matemaatikuid — muutis oma loengu pealkirja. Algselt 2026. aasta maisse planeeritud ettekanne kandis tagasihoidlikku pealkirja „Masinaga toetatud tõestus“. 9. oktoobriks oli California Tehnoloogiainstituudis (Caltech) peetud loengu nimeks saanud juba paradigmaatiline „Matemaatika 2.0“. See nimemuutus on oluline. „Masinaga toetatud“ viitab tööriistale. „Matemaatika 2.0“ viitab aga kontrollikihi enda asendamisele — nihkele sellelt, mida inimeste kogukond peab usutavaks, sellele, mida masinaga kontrollitud formaalne loogika, rida-realt programmeerimiskeeles Lean 4, kinnitab veatuks. Usutavus on sotsiaalne omadus. Korrektsus, põhimõtteliselt, ei ole.

Kõige selle all peitub küsimus, kas matemaatika üldse vajab sotsiaalset protsessi või on ta seda talunud vaid seetõttu, et midagi kiiremat polnud seni olemas.

Matemaatika 2.0 ja uus tõestusmootor: kui programmeerimiskeelest saab kohtunik

Mõelge traditsioonilisest retsenseerimisest kui inimeste juhitud õigekirjakontrollist: kogenud silmad skaneerivad tõestust, otsides vigu, ja kui piisavalt palju usaldusväärseid inimesi ütleb, et see näib õige, läheb see läbi. Probleem on selles, et inimesi saab petta tõestustega, mis on lihtsalt „usutavad“. Lean 4 asendab selle protsessi millegi palju halastamatumaga — programmeerimiskeelega, mis kontrollib iga loogilist sammu matemaatika reeglite vastu, rida-realt, masinkoodis, jätmata ruumi tõlgendusele „peaaegu õige“.

Seda nimetatakse formaalseks verifitseerimiseks. Väide kas kompileerub või mitte. Poolikuid punkte siin ei jagata.

Kevin Buzzard Londoni Imperial College’ist juhib praegu selle idee kõige ambitsioonikamat katsetust: Fermat’ viimase teoreemi täielikku formaliseerimist Leani keeles. Andrew Wilesi algne 1995. aasta tõestus on umbes 130 lehekülge pikk ja toetub hiiglaslikule 20. sajandi matemaatika arhitektuurile. Buzzardi projekt peab tõlkima iga selle arhitektuuri eelduse Leani keelde — mitte selleks, et kontrollida, kas Wilesil oli õigus (oleme üsna kindlad, et oli), vaid tõestamaks, et kogu loogiline ahel püsib koos ilma ühegi inimliku suvaotsuseta, mis sinna vahele võiks peituda.

Miks see just praegu oluline on? Kui tehisintellekt paiskab korraga välja 722 käsikirja, ei suuda inimretsensendid sammu pidada. Formaalne verifitseerimine on siin nagu immuunsüsteem. Tõestus, mis näeb veenev välja, kuid sisaldab peent viga — seda, mida valdkonnas nimetatakse nüüd hallutsinatsiooniks —, lihtsalt ei kompileeru. Erinevus usutava tulemuse ja tõestatud tulemuse vahel ei ole enam reputatsiooni või konsensuse küsimus. See muutub binaarseks: jah või ei, tõene või veel mitte tõestatud. See nihe on väiksem, kui see kõlab, ja samas suurem, kui keegi meist on valmis tunnistama.

Terence Tao diagnoos: küllus on uus nappus

Tao astus Caltechi loengusaali 9. oktoobril 2026 täpse ja vaikselt murettekitava argumendiga. Probleem AI loodud tõestustega ei ole tema sõnul selles, et neid on liiga vähe. Probleem on selles, et neid on liiga palju. Matemaatika 2.0 on ajastu, kus tõestused lakkavad olemast haruldane ressurss — ja see küllus on paradoksaalsel kombel just kriisi allikas.

Nüüd aga peatu hetkeks. Nappus oli Matemaatika 1.0 vanas maailmas väärtuslik omadus. Tõestus võttis aastaid, kandis nime, nõudis süvenemist. See saabus nagu käsitsi kirjutatud kiri. Nüüd saabuvad kirjad veoautotäite kaupa ja ükski postiljon ei jõua neid kõiki läbi lugeda. Küllus ilma mõistmiseta ei ole progress. See on teistsugust laadi pimedus.

Tao ei piirdunud ainult diagnoosiga. Ta nimetas ka konkreetse ohu: „Probleemilahenduse edasine pime optimeerimine on nüüd aktiivselt kahjulik matemaatika pikaajalisele tervisele.“ See lause väärib aeglast lugemist. Mitte kahjulik avastuste tempole, vaid kahjulik valdkonna tervisele endale — elavale inimeste kogukonnale, kes mõistavad, mida nad on leidnud ja miks see oluline on.

Tema positiivne visioon on raskem ja vaiksem. Õigesti teostatud Matemaatika 2.0 kasutaks AI-tööriistu, et toetada nii matemaatilist siseelu kui ka laiemat inimlikku rolli mõistmisel. Masin tõestab. Inimene peab aga endiselt sellest tõestusest hoolima, selle kuskile asetama, küsima, mida see järgmiseks tähendab. Otsustusvõime, mitte arvutusoskus, muutub napiks ressursiks. Ja otsustusvõime on see ainus asi, mida need 722 käsikirja iseendale pakkuda ei saa.

Kakskümmend viis allkirja ja laboratoorium Pekingis

Kolm päeva enne seda, kui OpenAI oma käsikirjad üles laadis, olid kakskümmend viis Fieldsi medali võitjat juba vastanud. Nende ühisdeklaratsioon, mis allkirjastati 11. septembril 2026, kandis nüridat pealkirja: „Tehisintellekti tõsine ebakõla matemaatikas“. Kakskümmend viis allkirja. See on ligikaudu kolmandik kõigist elavatest Fieldsi medali laureaatidest maailmas. Matemaatikute kogukond ei liigu tavaliselt karjana. See siin oli aga stampede — paaniline tormijooks.

Deklaratsioon ei olnud ainus vastus. Hiljem 2026. aastal moodustati Inimmatemaatika Assotsiatsioon (Human Mathematics Association) teravama nõudmisega: matemaatikud peaksid lõpetama igasuguse koostöö OpenAI-ga. Kas kutseühing suudab sellist boikotti jõustada, on ebaselge. Selge on aga see, et vastuliikumise kiirus vastas häire ulatusele. See oli mõõdupuu sellele, kui kõrged on panused.

Kõige suurema geopoliitilise kaaluga vastus tuli aga Shing-Tung Yaul-lt. 11. oktoobril 2026 teatas ta Yau Matemaatika ja AI Laboratooriumide Liidu loomisest Pekingis, kaasates üle tuhande teadlase ühisesse pingutusse, et luua suveräänsed AI-standardid väljaspool lääne korporatiivset kontrolli. Võrrelge seda OpenAI mudeliga: üks ettevõte, suletud arhitektuur, avalikustamata meetodid. Yau liit on selle selge vastandpilt. Seal, kus üks pool kiirendab vaikselt, ehitab teine paralleelset vastutuse universumit — avalikult ja mastaapselt. Küsimus sellest, kes kehtestab matemaatilise tõe standardid, on alati olnud poliitiline. See on lihtsalt harva nii selgelt välja paistnud.

Kaks sama nimega lugu ja küsimus, millele kumbki ei vasta

Samal ajal kui 722 käsikirja GitHubis laviinina alla sadasid ja Fieldsi medalistid deklaratsioone allkirjastasid, istus üks vaiksem lugu puutumatuna Tartu Ülikooli serveris. Aastatel 2021–2022 toimus Viimsi Gümnaasiumis projekt nimega „Matemaatika 2.0“. See rääkis õpilaste harjumustest, kaasatusest klassiruumis ja aktiivõppest. Ei ühtegi tõestusmootorit silmapiiril. Sama silt, täiesti erinev universum.

See kokkulangevus on peaaegu liiga täpne, et seda ignoreerida. Tartu Ülikooli uuringud näitavad, et õpilaste matemaatikaärevust ei kuju mitte niivõrd toores kognitiivne võimekus, kuivõrd koolikeskkond ja sotsiaal-emotsionaalsed oskused. Laps, kes tahvli ees kangeks muutub, ei kuku läbi matemaatikas. Matemaatika, sellisena nagu me seda praegu õpetame ja kogeme, on see, mis teda alt veab.

See on tasand, kuhu ükski formaalne verifitseerija ei ulatu. Lean 4 suudab kontrollida tõestust rida-realt. Ta ei suuda aga kontrollida, kas üks neljateistaastane usub pärast kaheksat aastat koolis käimist endiselt, et matemaatika on midagi, mida teevad inimesed.

Ja siin see küsimus teravnebki. Maailmas, kus masinate genereeritud tõestused saabuvad tööstuslikes kogustes, ei ole intelligentsus enam haruldane ressurss. Otsustusvõime on. Teadmine, millised probleemid on lahendamist väärt, millised tulemused muudavad midagi päriselt, milliseid suundi järgida tundmatusse — see jääb vääramatult inimlikuks. Need 722 käsikirja võivad meile öelda, mis on tõene. Nad ei saa meile öelda, mis on oluline. See küsimus on endiselt avatud — ja ükski Matemaatika 2.0 ajastul välja kuulutatud arhitektuur ei ole selle sulgemisele lähedalegi jõudnud.