The first generation of automated software engineers will write one bug per 100 lines of code. This will allow them to blend in while working remotely and provide job security for existing human developers.

The second gen senior automated software engineers will write one bug per 1,000 lines but will become too expensive to maintain as they age.

All efficiency gains will therefore be rolled back to the naive first gen's level in order to free up capital for the third gen automated angel investor.

It does not look very worrying. When he described the idea I wondered how you would actually do this given the amount of domain knowledge that is actually necessary to implement an underspecified program specification.

According to the interview Szegredy's current research is going after theorem proving in mathematics because there is very limited domain knowledge.

Looking at his recent publications [1] it seems more like he wants to create an "automated mathematician"

[1] https://arxiv.org/search/cs?searchtype=author&query=Szegedy%...

The interview goes into how this ties into formal reasoning towards the latter half.