1/ 通常，当一个模型说“这是结果”时，你必须相信它运行正确。 通过推理证明，系统生成加密证明，证明计算确实发生了。

一个可以放进背包的小型类人机器人是一个狂野的信号。 我们正在观察机器人技术如何像计算机一样压缩：更小、更便宜、更强大。 在推理实验室，我们认为下一个问题不是“它能移动吗？” 而是“我们能信任它的行为吗？”

机器人船正在以 AI 指导的精确度恢复珊瑚礁。环境自主性正在快速上升，但生态机器人必须负责任。 可验证的推理确保干预措施透明且安全。