Mutome Verified. What verified means

Mutome is building an autonomous research lab. Today it runs bounded, synthetic campaigns, checks claims with Lean, and measures itself on worlds with hidden...