Ik heb gisteren een interessante drempel overschreden, waarvan ik denk dat veel andere wiskundigen die de laatste tijd ook hebben overschreden. Midden in het proberen om een resultaat te bewijzen, identificeerde ik een uitspraak die waar leek en die, als deze waar is, nuttig voor mij zou zijn. 1/3

In plaats van te proberen het te bewijzen, vroeg ik het aan GPT5, en ontving in ongeveer 20 seconden een bewijs. Het bewijs was gebaseerd op een lemma dat ik nog niet eerder had gehoord (de uitspraak lag een beetje buiten mijn belangrijkste gebieden), dus hoewel ik er zeker van ben dat ik het uiteindelijk zou hebben gevonden, 2/3

de tijd die het me zou hebben gekost, zou waarschijnlijk van de orde van grootte van een uur zijn geweest (een schatting die gepaard gaat met vrij brede foutmarges). Het lijkt erop dat we de korte maar aangename periode zijn binnengetreden waarin ons onderzoek enorm wordt versneld door AI, maar AI ons nog steeds nodig heeft. 3/3

PS Voor het geval iemand zich zorgen maakt dat het een lemma gebruikte dat ik nog niet had gehoord, heb ik gecontroleerd of het lemma geen hallucinatie was.