Jason Rute (Sep 07 2019 at 11:20):
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 (Sep 07 2019 at 11:22):
It is the hardest problem on the list.
Last updated: Aug 05 2021 at 04:14 UTC