

I don’t think this is matter of mathematics, it is difficult to define what “software only running on desired machine” is. Like, do you permit functionally equal software with different code? With painstaking effort, functionality should be approximated fairly close (although idk what that means in mathematical context) On the other hand, requiring exact code is likely not what they want.
Cryptographic guarantee requires mathematical specification, which seems ill-fit in this scenario.









Even if AI will turn out to be great method for programming, it will replace humans in programming. There will be no place left for human programmers.
Otherwise, and when AI turn out to be a massive hype, it will lead to huge bubble burst which will take lots of tech companies with it. There will be no demand for software for a while, as we did not need much in the first place.
Either way, programming as a career is fucked.
EDIT: Wow, it’s both funny and tragic to see the butthurt reaction. Poor folks who chose programming as a career…