Look at everything that OpenAI failed to prove!

I was heartened to see a recent list of results proved by OpenAI here. Heartened because we are now clearly in an age in which AI can truly contribute to serious research mathematics. But also heartened because one can only imagine how many thousand of open problems OpenAI tried and failed to solve, assuming these are the ones they consider the most impressive. It would be vastly more informative to see the list of problems they tried to solve and didn’t, as well as possible partial progress that was made on other problems.