正文 Markdown
We just posted a paper solving Erdos #846, which was solved by an internal model at OpenAI (https://cdn.openai.com/infinite-sets/main_single_clean3.pdf). While the problem can also be derived from an earlier paper in the literature, the proof by the internal model was one of the first instances where I smiled…