Zaslat SMS: The autonomy of mathematical knowledge