AI har officiellt slagit mig vid ICPC World Finals. Det påminner mig om en sällsynt ICPC-färdighet: att snabbt kunna läsa en lagkamrats kod och upptäcka buggar. Denna färdighet tar år att träna och förklarar varför AI ofta gör kodningen långsammare (se arXiv:2507.09089). Oavsett hur stark AI blir, kan människor fortfarande behöva lägga tid på att korrekturkontrollera AI:s utdata... Men föreställ dig om ChatGPT fungerade annorlunda från och med imorgon: inte användare–agent-chatt, utan användare–agent–skiljedomare 3-vägschatt. ⚖️ Agenten (t.ex. GPT-5) måste övertyga en skiljeman (t.ex. GPT-4o) om att dess lösning är korrekt. Användarens roll är att utmana den och övertyga granskaren om motsatsen. Precis som det är lättare att verifiera (P) än att uppfinna (NP), kan en interaktiv bevisväg (IP) ytterligare minska den mänskliga skickligheten och tiden som krävs. Ett sådant AI-skiljedomarsystem kan flytta bördan bort från människor, så att vi kan fokusera mindre på logistik (t.ex. korrekturläsning av en kod) och mer på beslut som är viktiga. Kan detta vara vägen till nästa generation av universell AI? 🚀