Sridhar Vembu, osnivač Zohoa, komentirao je viralnu objavu o umjetnoj inteligenciji koja bi mogla nadmašiti čovjeka u matematici. Istaknuo je da bi umjetna inteligencija mogla stručno i točno napisati velik dio softverskog koda te da bi se to moglo potvrditi formalnim dokaznim sustavima poput Leana. Vembu je naglasio da ljudi i dalje moraju sudjelovati u razvoju softvera, ali je postavio pitanje koliko će ih u budućnosti biti potrebno. U zaključku je priznao da je programerima izazov ostati relevantnima u doba sve većeg utjecaja umjetne inteligencije.