Project Numina reposted this
🎉 An open problem in control theory solved by Pr. Amaury Hayat with the Project Numina AI prover! In boundary stabilization of nonlinear hyperbolic PDEs, the L^2 criteria is always the least restrictive. 👉 See full thread and proof here https://lnkd.in/dhTZHsAT https://lnkd.in/dw2JSEXB Cc Jia Li Thibaut Barroyer Stanislas Polu François Charton XTX Markets Alexandre Momeni