It's possible in highly verifiable domains like math.