Jag passerade en intressant tröskel igår, som jag tror att många andra matematiker också har passerat på senare tid. Mitt i mitt försök att bevisa ett resultat identifierade jag ett påstående som såg sant ut och som, om det var sant, skulle vara användbart för mig. 1/3

Istället för att försöka bevisa det frågade jag GPT5 om det, och på cirka 20 sekunder fick jag ett bevis. Beviset förlitade sig på ett lemma som jag inte hade hört talas om (påståendet var lite utanför mina huvudområden), så även om jag är säker på att jag skulle ha kommit dit till slut, 2/3

Tiden det skulle ha tagit mig skulle förmodligen ha varit i storleksordningen en timme (en uppskattning som kommer med ganska breda felstaplar). Det ser alltså ut som om vi har gått in i en kort men trevlig era där vår forskning påskyndas kraftigt av AI men AI fortfarande behöver oss. 3/3

PS Om någon är orolig för att den använde ett lemma som jag inte hade hört talas om, kollade jag att lemmat inte var en hallucination.