Jag skriver regelbundet om användningen av LLM i min forskning. Jag bryr mig inte om LLM:er eller andra tekniker kommer att föra oss till AGI - men deras dagliga användning är redan ett faktum. Den här gången använde jag en för att kraftigt omstrukturera mitt eget bevis från ett papper. Jag ville bättre konceptualisera de mycket tekniska beräkningar jag hade gjort för en K3-yta som har det extrema antalet irreducibla kägelsnitt. Jag vill äntligen avsluta det här projektet, men jag var missnöjd med nivån på beräkningsansträngningen i den sista delen. Så jag körde en analys med GPT Pro och fick en mycket trevlig lista med knep – saker som säkert följer av vad jag hade skrivit men som jag på något sätt missat mig själv! Detta är den dagliga rutinen med LLM: ingen AGI, ingen hype, inga fåniga stamkrig - bara glädjen att använda ett verktyg väl. Jag är definitivt bristfällig som människa, och detta omänskliga verktyg hjälper mig att arbeta bättre.