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 Continue reading