1. juulil 2026 lükkas AI-mudel Claude Fable 5 ümber Jacobi konjektuuri – matemaatilise probleemi, mis seisis lahendamata 1939. aastast. Masin esitas 216-kohalise vastunäite kolmemõõtmelises kompleksruumis, tõestades, et lokaalselt prognoositavad polünoomkaardistused ei ole alati globaalselt pööratavad, tähistades ajaloolist pööret teadusloos.

Kujutlege hetkeks 2026. aasta suve. Miljonid inimesed on naelutatud ekraanide ette, et jälgida jalgpalli MM-finaali. Samal ajal toimus teadusmaailma alustalades vaikne maavärin. Teadlane nimega Levent Alpöge postitas veebi juhusliku märkuse: „Tere, Jacobi konjektuur on vale.“

Alpöge tänas tehisintellekti nimega Claude Fable 5, kes tegi tööd sel ajal, kui ülejäänud maailm jalgpalli vaatas. See matemaatiline pähkel, Jacobi konjektuur, oli olnud kui ületamatu müür tervelt 87 aastat. See väitis midagi petlikult lihtsat: kui sul on matemaatiline kaart, mis ei suru ruumi kuskil „kokku“ (nagu paberilehte kortsuks), siis peab olema võimalik seda teed pidi alati ka algpunkti tagasi jõuda.

Siin on loo kummaline osa. Et selline suur väide ümber lükata, ei ole vaja sadu lehekülge teooriat. Vaja on vaid ühteainsat vastunäidet. Claude Fable 5 leidiski selle – ühe konkreetse valemi kolmemõõtmelises ruumis, mida matemaatikud kutsuvad tähisega C³. See tilluke, 216 märgist koosnev matemaatiline jada näitas determinanti -2, mis lükkas kiretu loogikaga ümber peaaegu sajandi jagu inimlikke oletusi.

Kuidas masin loogika piire nihutab

Et mõista, miks see meile korda peaks minema, peame minema tagasi aastasse 1939. Ott-Heinrich Keller püstitas siis küsimuse polünoomkaardistuste kohta. Mõelge sellest nii: kujutlege matemaatilist kaarti, mis liigutab punkte ühest ruumist teise. Oletus ütles, et kui see liikumine on igas punktis etteaimatav ja sujuv, peab see olema nagu täiuslik kahesuunaline tänav.

Tehniliselt räägime me Jacobi determinandist – see on justkui kaardi matemaatiline „suumifaktor“. Kui see number on konstantne ja mitte null, peaks loogika kohaselt tee olema alati pööratav. See 2026. aasta leid aga näitas, et „lokaalselt prognoositav“ ei tähenda alati „globaalselt pööratavat“. See on nagu kõnniksid metsas, kus iga samm tundub loogiline ja selge, kuid ühel hetkel avastad end paigast, kuhu tuldud teed pidi naasta on võimatu.

C³-kaardistuse visualiseerimine on nagu nähtamatu ookeani voolu jälgimine, kus iga piisk järgib ranget algebralist reeglit. See 216-märgiline polünoom on käegakatsutav tõend, et meie kauaaegne sisetunne nendes matemaatilistes sügavustes oli puudulik. Me ei kasuta arvuteid enam lihtsalt rehkendamiseks; me kasutame neid, et näha kaugemale inimliku mõtte horisondist.

Kaheaastane sprint: hõbedalt kullale

Veel 2024. aasta juulis tundus see maailm kauge. Siis saavutas Google DeepMindi AlphaProof rahvusvahelisel matemaatikaolümpiaadil hõbemedali väärilise tulemuse. Aasta hiljem olid OpenAI o1-seeria ja Gemini Deep Think juba kullatasemel. Nad ei lahendanud enam lihtsalt ülesandeid; nad tegid seda tippatleedi täpsusega.

Enamik vaatlejaid arvas, et need süsteemid on lihtsalt maailmaklassi testi-täitjad. Kuni jaanuarini 2026. Siis lahendas GPT-5.2 Pro kombinatoorse Erdősi probleemi nr 281 – mõistatuse, mis oli põlvkondi tolmunud sahtlis nimega „liiga raske“. Masin oli muutunud õpilasest kolleegiks.

Laviin jätkus. Mais 2026 lükati ümber Erdősi punktide vahekauguse oletus. Varsti pärast seda kasutas idufirma Axiom oma AxiomProverit, et lahendada Feli konjektuur. Kunagi mõõtsime me matemaatika progressi sajandites, nüüd teeme seda kuudes.

Masina üks osa unistab potentsiaalsest lahendusest, samal ajal kui teine osa kontrollib väsimatult kviitungeid.

Lean ja vaimude loogika

Varased tehisintellekti mudelid olid nagu briljantsed, kuid kergelt vintis poeedid – nad kippusid looma „kummitusloogikat“, mida me kutsume hallutsinatsioonideks. Mäng muutus, kui õpetasime masinad kasutama formaalkeelt nimega Lean. Lean toimib nagu digitaalne kohtunik, kes ei aktsepteeri ühtegi tõestust enne, kui iga viimne kui loogiline lüli on purunematu.

Süsteemid nagu AlphaGeometry treeniti 100 miljoni sünteetilise teoreemi peal, et õpetada masinale süvapiirilist loogikat. See on neuro-sümboolne AI – süsteem, mis ühendab loomingulise intuitsiooni ja ranged reeglid. Täna kontrollivad masinate avastusi maailma parimad pead. Princetoni matemaatik Noga Alon kinnitas hiljuti tehisintellekti tulemused Erdősi probleemi kohta. Me ei aja enam taga kummitusi, vaid vaatame kõige rangemat loogikat, mida eales ehitatud.

Leideni joon: kellele kuulub tõde?

  1. aastal kuulus läbi klaasläätse leitud uus kuu avastajale. Aga täna, kui AI sülitab välja 216 märki ja murrab aastakümnete vanuse mõistatuse, tekib küsimus: kellele kuulub avastuse hing? 2026. aasta juulis kirjutasid üle 3000 matemaatiku alla Leideni deklaratsioonile, et kaitsta oma ala inimlikku mõõdet.

Me triivime õiguslikus hämus – kas avastus kuulub uurijale, kes andis vihje (inglise keeles prompt), või tarkvarale? Kui suhtume matemaatikasse kui pelka raamatupidamisse, kus kogume vaid vastuseid, kaotame me vahe mäkke ronimise ja drooniga tippu lennutamise vahel. Leideni deklaratsioonile alla kirjutajate jaoks on tõestus, mida sa ise kontrollida ei suuda, lihtsalt üks ilus kuulujutt.

Me oleme muutumas loogika arhitektidest selle raamatukoguhoidjateks. Me ei tea veel, kus lõpeb inimene ja algab tööriist. See nihe ei tundu mitte niivõrd läbimurdena, kuivõrd vaikse alistumisena masinale.

Avatud horisont: mida masin ei näe

  1. sajandi matemaatika skooritabel on hetkel Ränioru kasuks. Ometigi, vaatamata 2026. aasta tormijooksule, on Clay matemaatikainstituudi „võimatute“ probleemide nimekiri endiselt kangekaelne. Poincaré oletus on siiani ainus ametlikult lahendatud Millenniumi auhinnaprobleem.

Tehisintellekt iseloomustab suurepärane toore jõuga vastunäidete leidmine, kuid tal puudub sageli kontseptuaalne kompass abstraktsete tõestuste navigeerimiseks. Matemaatikud liiguvad „tõestaja“ rollist „arhitekti“ rolli. Masin annab meile vastunäite, kuid inimene peab ikkagi projekteerima katedraali.

Universumi kaart laieneb, kuid kõige olulisemad alad on endiselt kaardistamata ja sügavalt inimlikud. Me peame otsustama, kas matemaatika süda peitub vastuses või küsimuse esitamises. Järgmine seiklus näitab, kuidas me selles uues maailmas elama õpime. Me ei tea veel kõike. Ja see ongi tegelikult kõige põnevam osa.