First-order transition to perfect generalization in a neural network with binary synapses | Synapse