[fragmede]

It's an engineering vs science question, and we've solved the practical but not the theoretical. LLMs being non-deterministic is another one of those things.