Ylitin eilen mielenkiintoisen kynnyksen, jonka luulen monien muidenkin matemaatikkojen ylittäneen viime aikoina. Kesken tuloksen todistamisen löysin väitteen, joka näytti todelta ja joka, jos se olisi totta, olisi hyödyllinen minulle. 1/3

Sen sijaan, että olisin yrittänyt todistaa sen, kysyin siitä GPT5:ltä, ja noin 20 sekunnissa sain todisteen. Todisteet perustuivat lemmaan, josta en ollut kuullut (väite oli hieman pääalueideni ulkopuolella), joten vaikka olen varma, että olisin lopulta päässyt sinne, 2/3

Aika, jonka se olisi vienyt minulta, olisi luultavasti ollut suuruusluokkaa tunnissa (arvio, jossa on melko leveät virhepalkit). Näyttää siis siltä, että olemme siirtyneet lyhyeen mutta nautinnolliseen aikakauteen, jossa tekoäly nopeuttaa tutkimustamme huomattavasti, mutta tekoäly tarvitsee meitä edelleen. 3/3

PS Jos joku on huolissaan siitä, että se käytti lemmaa, josta en ollut kuullutkaan, tarkistin, ettei lemma ollut hallusinaatio.