Zulip Chat Archive

Stream: IMO-grand-challenge

Topic: Inequalities


view this post on Zulip 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.

view this post on Zulip 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