Proving Olympiad Algebraic Inequalities without Human Demonstrations

Chenrui Wei, Mengzhou Sun, Wei Wang

Solving Olympiad-level mathematical problems represents a significant advancement in machine intelligence and automated reasoning. Current machine learning methods, however, strugg…