{"id":"arxiv/2609.24542","url":"https://arxiv.org/abs/2609.24542","tags":["math.AG","math.OC"],"score":0,"title":"The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials","domain":"math.AG","source":"arxiv","authors":["Mario Kummer","Tim Netzer"],"reviews":0,"subject":"math.AG","summary":"We report a proof found by an artificial intelligence system for the following statement: The hyperbolicity cone of every strictly hyperbolic polynomial is spectrahedral. This establishes the generalized Lax conjecture for the generic case, while the full conjecture remains open.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}