Global optimization tailored for graphics processing units: Complete and rigorous search for large-scale nonlinear minimization (PNAS Nexus, 2026)