Quantization Avoids Saddle Points in Distributed Optimization | Synapse