{"id":"arxiv/2610.34087","url":"https://arxiv.org/abs/2610.34087","tags":["math.OC"],"score":0,"title":"BFGS can converge to non-Clarke-stationary points with positive probability","domain":"math.OC","source":"arxiv","authors":["Lexiao Lai"],"reviews":0,"subject":"math.OC","summary":"We construct a coercive, locally Lipschitz, semialgebraic function on $\\mathbb R^2$ for which BFGS with Armijo--Wolfe line search converges to a non-Clarke-stationary point from a nonempty open set of initial points and inverse-Hessian estimates. This disproves the almost-sure stationarity assertion in the 2013 challenge of Lewis and Overton. The construction and proof combine analytical arguments with computer-assisted verification of explicit inequalities.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-25","reactions":{}}