[domovoykot]

> It says that it's akin to a new software programming paradigm or language.

That's a great way of thinking about it. It's worth trying to imagine what the programming experience would be like if writing a function amounted to simply defining input/output types, providing a collection of input/output pairs (i.e. train/test sets), and leaving the process of finding the solution / optimization to the "compiler".