This should be seen in another perspective, we will eventually reach the point where LLMs can vomit the formal specification in whatever language we feel like.

The revenge of Rational Unified Process, Enterprise Architect and many other tools.

Instead of UML diagrams it is markdown files.