They can be reasoned about and relied upon.
The problem is that people/users/businesses skip the reasoning part and go straight to the rely upon part.
They can be reasoned about from a mathematical perspective yes. An LLM will happily shim out your code to make a test pass. Most people would consider that “unreasonable”.
They can be reasoned about from a mathematical perspective yes. An LLM will happily shim out your code to make a test pass. Most people would consider that “unreasonable”.