Launching Pinocchio, an AI harness for Verified Work Pinocchio is a research preview for AI outputs with provenance and verification built in. Give it a task and source material. For supported results, the values used in the computation are carried directly from the source rather than regenerated by the model. Pinocchio records the computations and derivations applied to them, and a deterministic verifier can replay and check the resulting computation. The output retains a connection to: • the exact source inputs used • the operations performed on them • the intermediate and final results they produced • the checks those results passed Every output points back to its sources. You can trace it backwards through its derivation and sources. With Pinocchio every computation is transparent. Try it out and tell us how we can make it better!: pinocchio.goedelmachines.com