Sedan igår har jag arbetat med min samarbetspartner Piotr Pokora på ett problem relaterat till stockytor. Vi försökte lista ut hur man söker i det kombinatoriska rummet av möjliga konfigurationer av linjer på en slät kvartik för att maximera den så kallade Chern-lutningen. När det gäller numerik har vi gjort många exempel, och den berömda Fermat-kvartiken x^4 + y^4 + z^4 + w^4 = 0 är för närvarande rekordhållaren för lutningen (= 8/3) för en viss konfiguration av 16 linjer (se vår artikel). Detta var den förväntade maxgränsen, som vi har försökt slå eller bevisa de senaste två åren. Idag körde jag problemet med toppversionen av GPT Pro med en rejäl prompt som innehöll många detaljer om problemet och hela texten av vår artikel. Jag fick en mycket intressant insikt: att använda blandad linjär programmering. Denna metod slår brute force-tekniker, inklusive simulerad glödgning, med rå kraft. Vi hade inte sett det själva, men modellen fann denna insikt och förklarade hur man skriver effektiv kod med SciPy. Jag inser nu att vi är tre på kontoret: två människor och ett agentiskt system med färdigheter och betydande beräkningskraft. Färdigheter blir allt viktigare, och denna agentiska sele ger fantastiska resultat. Jag känner att jag helt har förändrat mitt perspektiv. Jag gillar fortfarande att samarbeta med människor, men jag delegerar djupa sökningar, djärva idéer och omfattande utforskande till modellerna. Det är helt enkelt snabbare och mer effektivt. Och framstegen är verkliga. Vi har nu en konkret väg framåt.