Модель OpenAI закрыла пять задач Эрдёша. Пять. — 9 апреля 2026 г. в 08:03:16.833
Модель OpenAI закрыла пять задач Эрдёша. Пять. Команда OpenAI (Sawhney, Sellke, Alexeev и др.) выложила статью, где их внутренняя модель доказала пять открытых задач Пала Эрдёша. Не помогала доказывать, не подсказывала направление, а именно выдала доказательства, которые потом записали в статью на 28 страниц. Задачи из комбинаторики, теории чисел и теории вероятностей. Среди них, например, вопрос про обыкновенные прямые в планарных множествах точек и теорема конечности для целых чисел с определенными свойствами простых делителей. Вещи, которые висели открытыми десятилетиями. Важный контекст: это уже вторая такая статья (в названии прямо стоит "II"). То есть первая не была случайностью и разовым хайпом. Процесс поставлен на поток: берем открытую задачу, скармливаем модели, получаем доказательство, проверяем, публикуем. Судя по тону, для них это уже рабочая рутина, а не прорыв. Что здесь по-настоящему интересно для нас: речь про "internal model". Не GPT-4o, не o1, не что-то публично доступное. Где-то внутри OpenAI сидит штука, которая щелкает задачи из списка Эрдёша. И мы пока не знаем, как далеко она ушла от того, чем мы пользуемся. 📄 arxiv.org/abs/2604.06609