Definition
A known optimization algorithm for saddle-point problems whose convergence rate an AI agent tightened with a new parameter schedule.
A first-order method for convex-concave saddle-point optimization; in the AI Co-Mathematician work, a Lean-proof-search agent discovered a new parameter schedule that provably improves its convergence rate.