Tekoäly mursi puhtaan matematiikan kaksi suurta ongelmaa vuonna 2026 – nyt koneet keksivät uutta matematiikkaa

Vuosi 2026 jää matematiikan historiaan vuotena, jolloin tekoäly ylitti rajan ja osoitti kykenevänsä itsenäisiin, merkittäviin matemaattisiin löytöihin. Tekoälyjärjestelmät tuottivat kaksi suurta läpimurtoa ongelmissa, jotka olivat vaivanneet matemaatikkoja vuosikymmeniä. Kyse ei ole pienistä edistysaskeleista – nämä ovat paradigman muutoksia, jotka ennakoivat tekoälyn roolin mullistavan matematiikan tutkimusta.

Kaksi läpimurtoa

OpenAI kumoaa Erdősin etäisyyskonjektuurin (toukokuu 2026)

20. toukokuuta 2026 OpenAI ilmoitti, että sen sisäinen yleiskäyttöinen päättelymalli oli tuottanut vastaesimerkin Erdősin etäisyyskonjektuurille (Erdős unit-distance conjecture). Paul Erdős esitti tämän ongelman vuonna 1946 . Konjektuuri koski parin enimmäismäärää, jotka voivat olla tarkalleen yhden yksikön päässä toisistaan n pisteessä tasossa. Matemaatikot olivat 80 vuoden ajan uskoneet, että paras mahdollinen konfiguraatio muistuttaa suunnilleen neliöruudukkoa .

OpenAI:n malli osoitti tämän uskomuksen vääräksi. Se tuotti äärettömän perheen pistekonstruktioita, jotka saavuttavat polynomiaalisen parannuksen ruudukkoon verrattuna – todistaen, että äärettömän monella n pistemäärällä yksikköetäisyysparien määrä kasvaa nopeammin kuin n^(1+δ) jollakin kiinteällä δ > 0 . Todistus perustui syvälliseen algebralliseen lukuteoriaan, kuten Golod–Šafarevitšin teoriaan ja äärettömiin luokkakenttätorneihin – työkaluihin, joita kukaan ei ollut aiemmin yhdistänyt tähän geometriaongelmaan .

Ulkopuolinen matemaatikoiden ryhmä, mukaan lukien Thomas Bloom – sama tutkija, joka oli aiemmin paljastanut OpenAI:n väärän väitteen – vahvisti tuloksen . Ihmisten tiivistämä rinnakkaisartikkeli julkaistiin arXiv-palvelussa . Princetonin matemaatikko Will Sawin tarkensi vakiota nopeasti, osoittaen eksponentin olevan vähintään n^1,014 . Fields-mitalisti Tim Gowers oli yksi yhdeksästä ulkopuolisesta matemaatikosta, jotka vahvistivat todistuksen .

Anthropicin Claude Fable 5 löytää vastaesimerkin Jacobin konjektuuriin (heinäkuu 2026)

19. heinäkuuta 2026 matemaatikko Levent Alpöge, Anthropicin tutkija, ilmoitti X-palvelussa käyttäneensä Anthropicin Claude Fable 5 -mallia löytääkseen vastaesimerkin Jacobin konjektuurille (Jacobian conjecture). Kyseessä on 87 vuotta avoinna ollut ongelma algebrallisessa geometriassa, jonka Ott-Heinrich Keller esitti ensimmäisen kerran vuonna 1939 . Konjektuuri oli sijoitettu 16. sijalle Fields-mitalisti Stephen Smalen vuonna 1998 laatimalla listalla vuosisadan ongelmista. Se väitti, että polynomikuvauksen C^n → C^n, jolla on vakio, nollasta poikkeava Jacobin determinantti, täytyy olla globaalisti kääntyvä .

Vastaesimerkki on huomattavan tiivis 216 merkin polynomikuvaus C³ → C³, jonka Jacobin determinantti on identtisesti -2, mutta se lähettää kolme erillistä syötettä samaan tulostulokseen, mikä kumoaa globaalin kääntyvyyden . Muutamassa tunnissa Alpögen julkaisusta matemaatikot ympäri maailmaa vahvistivat tuloksen itsenäisesti, ja virallinen vahvistus Lean-todistusassistentissa valmistui alle 24 tunnissa .

Tunnetut matemaatikot, kuten Terence Tao ja Timothy Gowers, ylistivät tulosta . Tao julkaisi vastaesimerkistä geometrisen analyysin, ja vahvistus tuli laajalti hyväksytyksi matematiikan yhteisössä . Konjektuurin kaksiulotteinen versio on edelleen avoin .

Mitä nämä tulokset tarkoittavat matematiikan tulevaisuudelle?

Tekoäly pystyy nyt tuottamaan aidosti uusia todistuksia

Molemmissa läpimurroissa on kyse syvällisistä käsitteellisistä harppauksista, ei pelkästään laskenta-avusta. Etäisyyskonjektuurin kumoaminen vaati tekoälyltä algebrallisen lukuteorian yhdistämistä kombinatoriseen geometriaan – yhteyttä, jota kukaan matemaatikko ei ollut aiemmin tehnyt . Jacobin vastaesimerkki puolestaan vaati hienovaraisen polynomikuvauksen rakentamista tietyillä algebrallisilla ominaisuuksilla .

Ihmisen ja tekoälyn yhteistyömalli osoittaa voimansa

Nämä tulokset viittaavat tulevaisuuteen, jossa tekoäly toimii luovana yhteistyökumppanina eikä korvaajana. Jacobin tapauksessa taitava matemaatikko ohjasi tekoälyä ja tunnisti sen tuotoksen merkityksen . OpenAI:n tapauksessa malli työskenteli itsenäisemmin, mutta vaati silti ihmisen vahvistuksen . Tämä yhteistyömalli antaa tekoälyn tutkia valtavia ratkaisuavaruuksia, joita ihmiset eivät pysty tehokkaasti läpikäymään, samalla kun ihmiset tarjoavat intuitiota, harkintaa ja vahvistusta.

Vauhti kiihtyy nopeasti

OpenAI ilmoitti myöhemmin elokuussa 2026, että samat sisäiset päättelymallit olivat tuottaneet edistysaskeleita 10 suuressa ongelmassa matematiikassa ja teoreettisessa tietojenkäsittelytieteessä. Nämä ulottuivat korkeaulotteiseen geometriaan, koodausteoriaan, ryhmäteoriaan, operaattorialgebroihin, kvanttilaskennan monimutkaisuuteen, hilakryptografiaan ja äärimmäisyyskombinatoriikkaan . Havainnoijat ovat kuvanneet tekoälyn vauhdittamaa "uutta matematiikan kulta-aikaa" .

Tärkeitä varauksia on edelleen

Jacobin vastaesimerkki koskee vain ulottuvuuksia 3 ja sitä korkeampia – alkuperäinen konjektuuri on edelleen avoin ulottuvuudessa 2 . Osa tuloksista ei ole vielä läpikäynyt täyttä vertaisarviointia perinteisiä kanavia pitkin, eivätkä kaikki väitteet ole täysin julkaistuja . Kokonaissuunta on kuitenkin selvä: tekoäly on ylittänyt kynnyksen matemaattisesta avustajasta matemaattiseksi löytäjäksi, ja sen rooli tutkimuksessa tulee todennäköisesti laajenemaan nopeasti.

Isompi kuva

Nämä vuoden 2026 läpimurrot ovat seuranneet nopeaa edistystä tekoälyn matemaattisissa kyvyissä. Heinäkuussa 2025 tekoälymallit ratkaisivat ensi kertaa viisi kuudesta ongelmasta kansainvälisissä matematiikkaolympialaisissa (IMO) . Vuoden 2026 alkuun mennessä mallit saavuttivat kultamitalitason IMO:ssa . Nyt tekoäly tuottaa tuloksia tutkimuksen eturintamassa – ratkaisemalla ongelmia, joiden parissa matemaatikot ovat työskennelleet koko uransa ajan.

Kuten matemaatikko Terence Tao totesi, Jacobin tulos on merkkipaalu ihmisen ja tekoälyn yhteistyössä . Malli ei työskennellyt yksin, mutta yhteistyö tuotti tuloksen, jota kumpikaan – ihminen tai kone – ei olisi voinut saavuttaa itsenäisesti. Tämä malli – ihmisen intuitio, jota ohjaa tekoälyn tutkimus ja jota vahvistetaan muodollisilla todistusassistenteilla – saattaa määritellä matemaattisen löytämisen tulevaisuuden.