Super cool research! I think this is still a formally verifiable domain but different than the kind of formal verification I was thinking. Maybe if LLMs continue to be great at this human science turns into making “fuzzy domains” much more formally verifiable (although I don’t think this is possible in some areas).