Inequalities

Stream: IMO-grand-challenge

[Jason Rute]

Interestingly, Open AI has a request for research out about "Automated Solutions of Olympiad Inequality Problems."

Olympiad inequality problems are simple to express, but solving them often requires clever manipulations. Build a dataset of olympiad inequality problems and write a program that can solve a large fraction of them. It’s not clear whether machine learning will be useful here, but you could potentially use a learned policy to reduce the branching factor.

[Jason Rute]

It is the hardest problem on the list.