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