Josh Chenjoshchen@types.plSep 5, 2026, 12:15 AMIf a computer autoformalizes a math in the forest and no one's around to understand it, does it make any sound?
Sep 5, 2026, 12:15 AMSep 5, 2026, 12:15 AM