", I believe there would still be an underlying formal definition of the business logic generated in the backend"
Not just business logic. Technical one too, such as "proove that this critial code can never run into an infinite loop"
AI could very well be the revolution needed to bring theorem proover and other formal proof based languages ( coq, idriss, etc) to the mainstream mass of developers.
Not just business logic. Technical one too, such as "proove that this critial code can never run into an infinite loop"
AI could very well be the revolution needed to bring theorem proover and other formal proof based languages ( coq, idriss, etc) to the mainstream mass of developers.