Новая версия языковой модели GPT-5.6 Pro успешно обнаружила контрпример к математической гипотезе Диница-Гарга-Геманса, которая оставалась открытой проблемой в области комбинаторной оптимизации. Этот результат демонстрирует способность современных LLM выходить за рамки генерации текста и эффективно применять логические рассуждения для решения сложных задач в теоретической математике и алгоритмике.
Гипотеза Диница-Гарга-Геманса касается вопросов аппроксимации и разбиения графов, имея важное значение для теории сложности вычислений. Ранее исследователи тратили значительные ресурсы на поиск доказательств или опровержений подобных утверждений, однако использование специализированных агентных систем на базе продвинутых моделей позволяет автоматизировать процесс перебора и верификации математических структур.
Успех модели в данной области подчеркивает потенциал ИИ как инструмента для математических открытий. В отличие от классических методов автоматического доказательства теорем, современные модели способны анализировать контекст задачи и предлагать нестандартные подходы к поиску контрпримеров, что значительно ускоряет проверку гипотез, которые ранее считались труднодоступными для вычислительных систем.
Ключевые факты
- GPT-5.6 Pro использовалась для анализа и поиска контрпримера к гипотезе Диница-Гарга-Геманса.
- Гипотеза относится к фундаментальным проблемам комбинаторной оптимизации и теории графов.
- Использование ИИ позволило сократить время на поиск математических контрпримеров, требующих глубокого логического вывода.
- Результат подтверждает эффективность LLM в решении задач, требующих строгой математической аргументации.