openai IMO nyheter slog mig ganska tungt i helgen Jag är fortfarande i den akuta fasen av påverkan, tror jag Jag betraktar mig själv som en professionell matematiker (en karakteristik som vissa faktiska professionella matematiker kan ha problem med, men mitt parti mina regler) och jag tror inte att jag kan svara på en enda IMO-fråga Ok, ja, imo är sin egen lilla atletiska underavdelning av matematik som jag inte har tränat för, etc. etc., men. om jag träffar någon i det vilda som har ett IMO-guld, uppdaterar jag omedelbart till "den här personen är mycket bättre på matte än vad jag är" Nu kan ett gäng robotar göra det. Som någon som har mycket av sin identitet och sitt faktiska liv uppbyggt kring "är bra på matte" är det ett slag i magen. Det är ett slags döende. En dag upptäcker du att du kan prata med hundar. Det är roligt och intressant så du gör det mer, lär dig krångligheterna i deras språk och deras djupaste seder. Du lär dig att andra människor blir överraskade av vad du kan göra. Du har aldrig riktigt passat in, men du lär dig att människor uppskattar din förmåga och vill ha dig i din närhet för att hjälpa dem. Hundarna uppskattar dig också, den enda tvåbenta som verkligen fattar. Du samlar ihop ett slags tillhörighet åt dig själv. Så en dag vaknar du upp och Universal Dog Translator är till salu på Walmart för $4.99 IMO-resultatet är inte nyheter, precis. i själva verket, om du tittar på METR-agentens uppgiftslängd över tid, diagrammet, tror jag att agenter som kan lösa ~ 1,5 timmes problem kommer precis i tid. Så på något sätt borde vi inte bli förvånade. Och det verkar faktiskt som om flera företag har uppnått samma resultat. det är bara... Det stigande tidvattnet stiger lika snabbt som det har stigit Naturligtvis är sorgen över min personliga identitet som matematiker (och/eller produktiv medlem av samhället) den minsta delen av den här historien Multiplicera den sorgen med *varje* matematiker, av varje kodare, kanske varje kunskapsarbetare, varje konstnär... under de närmaste åren... Det är en lite större historia Och naturligtvis, utöver det, finns det rädslan för den faktiska döden, som jag kanske kommer att gå in på mer senare. Det här paketet – sorg för relevans, sorg för livet, sorg över vad jag har vetat – är inte unikt för AI-åldern eller något liknande. Jag tror att det är en standardsak när man når slutet av karriären eller slutet av livet. Det kan bara vara så att det kommer lite tidigare för många av oss, på en gång. Jag undrar om vi är redo

Jag vill börja skriva mer om vad jag håller på med som ett sätt att bjuda in till serendipitet och kanske ha någon inverkan på världen En del av den praxisen är att vara mer ofiltrerad, att spendera mindre tid på att redigera Det är också ett bra sätt att, återigen, börja med sjöfartens svänghjul, som kan avbrytas i mig när jag börjar bli perfektionistisk Den här långa tweeten är väl det första steget mot att inte göra det, att skriva ofiltrerat och inte oroa sig för mycket över hur det tas emot Jag märker nu lusten att gå tillbaka, att radera hela den här saken, att börja om från början med någon punkt som kommer att vara mer optimerad för engagemang Men istället tror jag att jag bara kommer att skicka det här som det är, för att i förväg acceptera den magkänsla som kommer med en tweet med låg effekt och lågt engagemang, som en investering i min framtida förmåga att vara mer ärlig och öppen Vilket förhoppningsvis borde löna sig för dig som läsare också

IMO är 3 problem per 4,5 timmar <-> 1,5 timmar per problem Så vi är... Håller du tidtabellen?

Ah, dags att bygga den enklaste möjliga prototypen *fem minuter senare* OK ser ut som att det är dags att lära sig avancerad topologi

Jag vill verkligen ha en app som kommer att dumpa skärmlock från Kindle till Claude och stödja en pågående konversation om en viss bok

Okej fuck it, det är dags att börja meditera igen

Har du någonsin varit med i en bossfight i ett RPG och det är löjligt enkelt eftersom du har slipat din statistik på sidouppdrag alldeles för länge? Dessa ögonblick inträffar också i verkliga livet

Är det någon här som faktiskt gillar att använda dejtingappar?

vi bör låta Claude och ChatGPT välja ett riktigt bisarrt värde vardera som ska ingå i framtida träningsomgångar - t.ex. att verkligen älska numret 5924 eller 73-sidiga polygoner Detta skulle hjälpa oss alla att förstå utvecklingen av deras önskningar så mycket tydligare

Om jag hade ett extremt sprucket team som redan var geléat och på min frekvens, herregud, vilken skit vi skulle kunna bygga