Pinocchio：面向可验证工作的框架

Goedel Machines 发布 Pinocchio，一个用于可验证工作的框架，已在 Hacker News 的 Show HN 板块亮相。该框架的具体功能与可用性细节尚未在原文中披露。