How do human mathematicians avoid big searches?

To upload material, you must first log in.