AI rewrites existing software: the promise of faster, more secure, and formally verified systems

According to the post, in the coming weeks and months artificial intelligence will necessitate the rewriting of most human-made software, making it faster, more cost-effective, and more secure; it promises to provide formal verification, load testing, hardening, and detailed documentation, projecting a transformation of software engineering.