https://hellas.ai is building out their category theoretic compiler and protocol for solving this issue

ZKML is a very exciting emerging field, but the math is no where near efficient enough to prove an inference result for an LLM yet. They are probably just trying to sell their crypto token.