Consensus-Based Optimization Methods Converge Globally | Synapse