Yes the bar will be raised to formal verification and actually strong mathematical proof skills to be a real software engineer
reply… and isn’t the AI is already ahead of 99+% of programmers on that front?
replyI don’t know anything about formal verification myself! But proof? I am sure we have seen that AI capabilities exceed humans on that front.