GPT-5.4 Pro совместно с математиком Лиамом Прайсом решила задачу #1202 из базы Эрдёша — она же Problem 44 из "100 Open Problems" Бена Грина. Грин — соавтор знаменитой теоремы Грина — Тао о простых числах и один из ведущих специалистов по аддитивной комбинаторике; его личную подборку ключевых открытых задач неформально называют "зеленым списком". ИИ уже решал задачи из общей базы Эрдёша, но из курированной сотни Грина — впервые. Ответ оказался отрицательным: вопрос Эрдёша 1980 года получил контрпример. Читать далее