Мы только что опубликовали статью, решающую задачу Эрдеша #846, которая была решена внутренней моделью в OpenAI (). Хотя задачу также можно вывести из более ранней статьи в литературе, доказательство внутренней модели было одним из первых случаев, когда я улыбнулся, читая доказательство.