gm各位老师，犯困的大家精神精神！
大家都用 AI，问问、写代码、做分析，但如果哪天 AI 帮你批贷款、做投资判断、甚至看病，你敢不敢百分百信它？
现在 AI 推理赛道特别火。像 Modal Labs 估值直接冲到 25 亿美金；Baseten、Fireworks AI 也拿了大笔融资。
大家都在拼：更快、更大规模地跑模型。
但有个问越来越明显：AI 说的结果，怎么证明它没瞎编？
用零知识证明，把 AI 的推理结果变成可验证的。
不是它说对就对，而是你能用数学方法去确认它确实这么算出来的。
他们在 Bittensor 的子网上，已经跑了上亿次验证，说明这套东西不是 PPT，是能落地的。
现在很多公司在拼速度，但真正重要的可能是，靠谱不靠谱。
AI 越重要，能不能验证，就越关键。

AI探索 | Hermes/OpenClaw｜优质资源｜优质信息