[cmrx64]

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

[tripplyons]

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.