may be for some sub-domains like math and code it can do that since the verification process can be done / relatively tractable