我們剛剛發佈了一篇解決 Erdős #846 的論文，該問題是由 OpenAI 的內部模型解決的（）。雖然這個問題也可以從文獻中的早期論文推導出來，但內部模型的證明是我第一次微笑著閱讀證明的例子之一。