Artikeln utforskar en framtid där programutveckling är helt automatiserad, vilket eliminerar mänskliga begränsningar i kodningsprocessen. Med automatiserad kodning förväntas kodbaser bli betydligt större, där kompileringstid potentiellt blir den nya begränsande faktorn. Fokus skiftar från att använda befintliga verktyg till att skapa nya, mer optimala verktyg, och slutligen att skriva direkt binär kod. Den största utmaningen kommer att ligga i att definiera ambitiösa och exakta specifikationer, vilket belyser "alignment-problemet" – att säkerställa att programvaran verkligen uppfyller mänskliga avsikter. Denna framtid möjliggör krav på oöverträffade garantinivåer för programvara, inklusive att skriva allt från grunden, formalisera specifikationer, matematiska bevis och omfattande "red-teaming".