New math enables scientists to rigorously verify Quantum Optimization Results, providing certified bounds for complex ...