Hacker News new | past | comments | ask | show | jobs | submit
manugo4 | on: Progress on provable inference for large language models
Also useful to audit in case we pause the development of AI and we need to check inference is being done with known models.