Amjad Masad - Verifiable Domains: Math, Code, and Physics (via searchlore.ai)