A Finite Certificate for the Positive $n=9$ Vasc Inequality

Dakai Guo, Ruichen Qiu, Yichuan Cao, Ruyong Feng

Jun 5, 2026 at 04:00

11 Visningar

0 Kommentarer

arXiv:2606.06136v1 Announce Type: cross Abstract: We prove the positive-real $n=9$ case of the Vasc cyclic inequality. The proof was obtained with human-guided assistance from the AI agent MechMath Agent Team: the human-readable part reduces the rational inequality to a homogeneous polynomial inequality, fixes a cyclic maximum, and parametrizes...

Läs hela artikeln hos källan.

Läs originalartikeln

Var detta hjälpsamt?

Dela: