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