GPT-5.4 Pro от OpenAI решила открытую математическую проблему из теории гиперграфов Рамси, которую математики Уилл Брайан и Пол Ларсон поставили в 2019 году и не могли закрыть семь лет. Модель справилась с задачей случайно. Прорыв в оценках Рамси Задача касалась улучшения нижних оценок для последовательности, связанной со сходимостью бесконечных рядов в гиперграфах. GPT-5.4 Pro не просто нашла ответ. Она устранила неэффективность в существующих конструкциях, добившись совпадения нижней и верхней границ. В комбинаторике такое равенство - редкий и серьёзный результат, часто оценки расходятся десятилетиями. Уилл Брайан, один из авторов, оценил решение как готовое к публикации в специализированном журнале. Он отметил, что сам рассматривал похожий подход, но отверг его как слишком сложный для ручной реализации. Не случайный успех одной модели Epoch AI протестировала топ-модели на универсальном стенде. Anthropic Opus 4.6, Google Gemini 3.1 Pro и GPT-5.4 (xhigh) тоже нашли корректные решения, хотя и не с первой попытки. Все четыре лидера справились хотя бы частично. Это показывает, что способность решать исследовательские задачи стала общим свойством элиты ИИ, а не уникальным достижением OpenAI. Прогресс на бенчмарке FrontierMath драматичен. GPT-4 в 2024 году набирал ~5% на задачах от бакалавриата до постдока, GPT-5.4 Pro - 50%, включая 38% на Tier 4 (исследовательский уровень). С декабря 2025-го ИИ участвовал в закрытии 15 открытых проблем, 11 из них (73%) — с его помощью. Математики разделились Лауреат Филдса Теренс Тао видит возможности. ИИ генерирует кандидатов на доказательства для задач, которые люди игнорируют из-за нехватки времени, становясь полноценным соавтором. Логик из Нотр-Дам Джоэл Дэвид Хэмкинс скептичен. Для фундаментальных исследований вроде аксиоматики математики польза близка к нулю. Кто автор. Человек или ИИ? Исследователи Кевин Барето и Лиам Прайс первыми получили решение от модели и могут стать соавторами публикации - Брайан готов их включить. Это поднимает вопрос атрибуции в рецензируемой математике. Чья заслуга - человека, предложившего идею, или системы, реализовавшей её? Решение GPT-5.4 Pro показывает зрелость ИИ. Модели больше не помогают математикам, а решают задачи самостоятельно. Вопрос в том, примет ли академическое сообщество ИИ как равноправного участника.