Zaslat SMS: Proof and knowledge in mathematics