Matematiikan korkean panoksen peli

Matemaatikot eivät vain törmää avoimiin ongelmiin – he jahtaavat niitä, murehtivat niitä yöllä ja joskus ratkaisevat sellaisia, jotka ovat kestäneet vuosisatoja. Mitä pidempään ongelma vastustaa ratkaisua, sitä arvokkaampi siitä tulee.

Kesäkuussa tapahtui jotain mielenkiintoista. Ryhmiä Lontoosta Berkeleyyn kokoontui laatimaan uutta listaa 50 ongelmasta. Mutta tällä kertaa jokainen ongelma täytyy pystyä todentamaan automaattisesti. Kyse ei ole vain akateemisesta siisteydestä – tämä luo sillan ihmisintuition ja konevarmennuksen välille.

Yang-Hui He, matematiikan tutkija Lontoon matemaattisten tieteiden instituutista, toi tyttärensä työpajaan. Kakunsyövän lapsen valvovien silmien alla matemaatikot työskentelivät ongelmien parissa, jotka ulottuvat solmuteoriasta algebran ja topologian kautta lukuteoriaan. Siinä kuvassa on jotain inhimillistä – vuosisatoja vanha matemaattinen perinne kohtaa seuraavan sukupolven.

Ongelmia, jotka pitävät matemaatikot hereillä

Lista sisältää klassikoita:

Kolmen kuution summa

Mitä tapahtuu, kun yrität ilmaista luvun kolmen kuution summana? Yhtälö x³ + y³ + z³ = k on työllistänyt matemaatikkoja vuosikymmeniä. Vuonna 2020 Andrew Booker ja Andrew Sutherland ratkaisivat tapauksen k=42, käyttäen 1,3 miljoonaa laskentatuntia vapaaehtoisten kotikoneilla. Seuraava kohde? 114. Ongelmana on, että pienimmät ratkaisut vaativat todennäköisesti noin 30 numeroa – brute force -lähestymistapa voisi maksaa yli 100 miljoonaa dollaria.

Apéryn irrationaalisuustodistus

Irrationaaliset luvut – desimaalit, joita ei voi ilmaista puhtaana jakolaskuna – piilottavat syviä salaisuuksia. Vaikka π ja √2 ovat tuttuja esimerkkejä, irrationaalisuuden todistaminen on hämmästyttävän vaikeaa. Π:n irrationaalisuuden todistamiseen meni 2000 vuotta. Vuonna 1978 Roger Apéry todisti, että ζ(3) (summa 1/n³) on irrationaalinen käyttäen mystistä "voileipätekniikkaa". Kun Apéryltä kysyttiin, miten hän löysi todistuksensa, hän vastasi löytäneensä sen kukkaruukusta. Tämä mysteeri on edelleen ratkaisematta.

Yksinäinen juoksija -konjektuuri

Tässä on ongelma, joka kuulostaa melkein hassulta: aseta juoksijoita kehäradalle, jokainen juoksee vakionopeudella. Konjektuuri ennustaa, että jossain vaiheessa jokainen juoksija on mahdollisimman kaukana kaikista muista – heidän "yksinäisin" hetkensä. Yksinkertainen formuloida, pirullisen vaikea todistaa.

Tekoäly astuu kuvaan

Tämän projektin mielenkiintoisin puoli on sen yhteys tekoälyyn. Epoch AI tilasi listan nimenomaan mittaamaan AI:n edistymistä. Ajoitus on myös kiinnostava – OpenAI väitti hiljattain ratkaisseensa Navier-Stoken ongelman, yhden seitsemästä Millennium-palkinto-ongelmasta, joiden ratkaisusta maksetaan miljoona dollaria.

Syyskuun loppuun mennessä muutama ongelma uudelta listalta on ratkaistu, vaikka virallinen kokoelma pursuaa yhä haasteita. OpenAI on ilmoittanut, että sen julkaisematon sisäinen malli on ratkaissut yli 100 avointa kysymystä, joskin kuinka moni niistä on tällä listalla, on epäselvää.

Miksi tämä merkitsee tech-maailmalle

Saattaa miettiä, mitä vuosisatoja vanhoilla matemaattisilla konjektuureilla on tekemistä modernin ohjelmistokehityksen tai pilvipalveluiden kanssa. Enemmän kuin voisi kuvitella.

Ensinnäkin matemaattinen ongelmanratkaisu kiihdyttää laskennallista innovaatiota. brute force -lähestymistapa kolmen kuution summalle k=42 vaati hajautettua laskentaa tuhansilla vapaaehtoiskoneilla – ennakointia nykyaikaiselle pilvi-infrastruktuurille.

Toiseksi tekoälyn ja formaalin verifikaation leikkauspiste koskettaa jokaista ohjelmistoluotettavuuden osa-aluetta. Kun matemaatikot vaativat, että ongelmat ovat "automaattisesti tarkistettavia", he harjoittavat sitä, mitä ohjelmistoinsinöörit kutsuvat formaaleiksi menetelmiksi – samoja periaatteita, jotka tekevät tietoturvallisista järjestelmistä luotettavia.

Kolmanneksi ja ehkä tärkeintä: mahdottomien ongelmien ratkaisemisen henki on täsmälleen se, mikä ajaa teknologista innovaatiota. Olipa kyse Riemannin hypoteesin ratkaisemisesta tai seuraavan skaalautuvan hosting-alustan rakentamisesta, lähestymistapa on samanlainen: tunnista rajoitteet, löydä elegantit ratkaisut ja varmista työsi.

Matemaattisen yhteisön yhteistyö tekoäly-organisaatioiden kanssa edustaa uutta lukua löytöretkessä. Nämä 50 ongelmaa eivät ole vain akateemisia kuriositeetteja – ne ovat mittareita ihmis-AI-kumppanuudelle älyllisessä pyrkimyksessä. Ja aikakaudella, jolloin rakennamme AI-avusteisia kehitystyökaluja ja vibe coding -alustoja, tekoälyn haastaminen matematiikan kovimmilla haasteilla antaa vilauksen tulevaisuudesta, jota olemme rakentamassa.

Kukkaruukun mysteeri on edelleen ratkaisematta. Mutta jossain tekoäly saattaa olla lähempänä ymmärtämään, miten Apéry löysi todistuksensa.