{"id":"arxiv/2607.08753","url":"https://arxiv.org/abs/2607.08753","tags":["math.OC"],"score":0,"title":"Finding Simple Proofs for First-Order Optimization","domain":"math.OC","source":"arxiv","authors":["Daniel Berg Thomsen","Manu Upadhyaya","Baptiste Goujaud","Aymeric Dieuleveut","Adrien Taylor"],"reviews":0,"subject":"math.OC","summary":"Progress in mathematics often requires more than a certificate of truth: it requires proof structures that are transparent, checkable, and reusable. Automated systems can increasingly certify that a result is true; what they typically return, however, is a dense certificate rather than an interpretable, reusable proof structure. Recent work on performance estimation problems has shown that performance bounds and complexity analyses of first-order optimization methods can be discovered by searching over a structured space of Lagrangian dual certificates. We cast the search for simpler proof…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-09","reactions":{}}