OpenAI内部模型解决Erdos 846问题

我们刚刚发布了一篇论文，解决了Erdos #846问题，该问题由OpenAI的内部模型解决。虽然这个问题也可以从早期文献中推导出来，但内部模型的证明是我第一次微笑的实例之一。