@uma
Modulus has been doing some interesting work in this area and they’ve made a lot of great progress. I’d say maybe a few more years?
It really depends on the use case of where having verifiable ML is really useful and valuable. If the use cases are extremely high value, then maybe already costs are feasible today.