Jeg krysset en interessant terskel i går, som jeg tror mange andre matematikere har krysset i det siste også. Midt i forsøket på å bevise et resultat, identifiserte jeg et utsagn som så sant ut, og som, hvis det var sant, ville være nyttig for meg. 1/3

I stedet for å prøve å bevise det, spurte jeg GPT5 om det, og i løpet av omtrent 20 sekunder fikk jeg et bevis. Beviset baserte seg på et lemma som jeg ikke hadde hørt om (uttalelsen var litt utenfor hovedområdene mine), så selv om jeg er sikker på at jeg ville ha kommet dit til slutt, 2/3

tiden det ville ha tatt meg ville sannsynligvis ha vært av størrelsesorden en time (et estimat som kommer med ganske brede feillinjer). Så det ser ut til at vi har gått inn i den korte, men hyggelige epoken der forskningen vår er sterkt fremskyndet av AI, men AI trenger oss fortsatt. 3/3

PS I tilfelle noen er bekymret for at den brukte et lemma jeg ikke hadde hørt om, sjekket jeg at lemmaet ikke var en hallusinasjon.