Redditissä jossain math-threadissa ennustettiin sitä, ratkaiseeko ihminen enää yhtään noista Clay-instutuutin ongelmista. Keskustelu meni siihen, että on "coping" väittää, että ihminen pärjäisi enää: pari vuotta sitten LLM ei osannut edes opiskelijatason matikkaa, muutama kuukausi sitten ei uskottu, että LLM osaisi ratkaista mitään merkittävää jne. Ja uskotaan, että lähes kaikki nuo ongelmat ratkeavat nyt muutamssa kuukaudessa.James Potkukelkka kirjoitti: 09.09.2026 13:07 Mies vaikuttaa matemaatikon arkkityypiltä. Jää varmaan historiaan ensimmäisenä ja viimeisenä ihmisenä, joka ratkaisi Millenium-ongelman.
Hatusta vedettynä myös arvioita kuinka vaativa mikäkin noista on. Parista muusta noista ongelmista on huhuja, että OpenAI tai Anthropic olisi lähellä. Siis Hodge ja BSD. Googlen AI:n mielestä viimeksi mainitu on "vaikein" kaikista.
Jäitä hattuun. Riemannin hypoteesia on varmaan kauimmin yritetty selvittää ja yleinen käsitys on, että tarvittaisiin ihan jotain uutta. On aika eri asia laittaa AI etsimään vastaesimerkkiä sen jälkeen kun on tullut viitteitä siitä, että sellainen voisi olla (Navier-Stokes) kuin yrittää todistaa oikeaksi jotain, mikä näyttää melko varmasti pitävän paikkansa. Jos Riemannin hypoteesiin löytyisi vastaesimerkki, suuri osa siitä riippuvaista lukuteoriaa kaatuisi.
P vs. NP on vielä varmemmin niin että P ≠ NP. Ei vaan ole niin minkäänlaista käsitystä, miten sen voisi osoittaa. Ihan arkijärki sanoo, että P=NP ei voi pitää paikkansa: Impagliazzo's Five Worlds. Vain kahdessa viimeisessä esim. kryptografia on mahdollista ja P=NP on siis vahvin noista viidestä vaihtoehdosta. Jos osoitettaisiin, että P=NP, sillä olisi iso vaikutus vs. nuo muut ongelmat ovat enemmänkin matemaattisesti mielenkiintoisia. Käsittääkseni ko lauseen osoittamisesta seuraisi se, että olemassa oleveilla menetelmillä olisi löydettävissä algoritmi, joka tekisi kaikista kaikista optimointiongelmista triviaaleja.