--- title: "ИИ от OpenAI доказал гипотезу локального сглаживания Согге 1991 года для всех измерений" description: "OpenAI сообщила, что её ИИ доказал гипотезу локального сглаживания Кристофера Согге 1991 года для всех измерений. Доказательство сгенерировано 18 октября 2026, формализовано в Lean и опубликовано на GitHub." date: 2026-10-27T14:52:06.110Z lang: ru url: https://xab.info/posts/openai-ii-dokazal-gipotezu-lokalnogo-sglazhivaniya-sogge tags: [openai, ai-mathematics, local-smoothing-conjecture, sogge, lean, quantum-chromodynamics] author: "Александр Буран" publisher: "XAB.info" --- # ИИ от OpenAI доказал гипотезу локального сглаживания Согге 1991 года для всех измерений ![Белый робот с логотипом OpenAI касается светящегося экрана с математическими формулами и графиками](https://xab.info/media/2026/10/27/openai-ii-dokazal-gipotezu-lokalnogo-sglazhivaniya-sogge/openai-ii-dokazal-gipotezu-lokalnogo-sglazhivaniya-sogge-1.webp) ## Ключевые тезисы - OpenAI заявила, что её ИИ доказал гипотезу локального сглаживания Согге (1991) для всех пространственных измерений. - Доказательство сгенерировано 18 октября 2026 и формализовано в среде Lean на следующий день. - Текстовые и формализованные доказательства опубликованы в открытом доступе на GitHub. - Также заявлено доказательство существования теорий квантовой хромодинамики; внешняя группа учёных подготовит независимый отчёт. OpenAI объявила, что её система искусственного интеллекта сгенерировала математические доказательства, которые, по заявлению компании, способны поставить под сомнение ряд устоявшихся представлений в математике и компьютерных науках. Центральным результатом стала работа над гипотезой локального сглаживания — задачей гармонического анализа, сформулированной математиком Кристофером Согге ещё в 1991 году. По словам разработчиков, модели OpenAI доказали эту гипотезу для всех пространственных измерений, а итоговое доказательство было сгенерировано 18 октября 2026 года и уже на следующий день формализовано в интерактивной среде Lean. ### Что такое гипотеза локального сглаживания Гипотеза описывает поведение волн в момент их концентрации и утверждает, что экстремальная фокусировка волнового поля не может поддерживаться длительное время. Формально речь идёт о оценке нормы оператора эволюции (в записи, приведённой в материалах компании, — через экспоненциальный оператор с квадратным корнем из лапласиана) в пространствах Лебега на многообразии M. До работы OpenAI учёные лишь приближались к полному результату: в 2019 году гипотеза сглаживания была доказана для двух измерений, а в 2025 году подтверждена трёхмерная гипотеза Кокеи. Новое доказательство, по заявлению разработчиков, автоматически закрывает ещё два известных математических вопроса, связанных с этой темой. ### Как ИИ пришёл к решению и почему это важно Согласно сообщению OpenAI, именно нейросетевые модели компании вывели доказательство, охватывающее все пространственные измерения, то есть обобщившее предыдущие частные случаи. Это позиционируется как прорыв, поскольку задача оставалась открытой более тридцати пяти лет и выходила за рамки стандартных вычислительных подходов. Компания подчёркивает, что результат может пересмотреть ряд устоявшихся представлений как в чистой математике, так и в смежных разделах компьютерных наук. ### Формализация в Lean и открытая стратегия Для обеспечения проверяемости OpenAI выбрала открытую стратегию: текстовые и формализованные доказательства опубликованы в открытом доступе на GitHub. Ключевым шагом стала формализация в Lean — специализированном инструменте, который позволяет компьютеру проверять логическую корректность математических аргументов. По данным компании, формализация была успешно завершена 19 октября 2026 года, на следующий день после генерации доказательства. Это означает, что независимый исследователь может воспроизвести и проверить каждый логический шаг с помощью компьютера, а не полагаться только на текстовое описание. ### Квантовая хромодинамика и независимая проверка Помимо математического результата, исследователи сообщили о доказательстве существования теорий, описывающих поведение материи на уровне мельчайших частиц, в частности квантовой хромодинамики. Исследования в области квантовой физики, по информации OpenAI, будет вести отдельная внешняя группа учёных, которая в ближайшее время подготовит собственный независимый аналитический отчёт. Таким образом, часть заявлений компании пока остаётся на стадии ожидания внешнего верификационного отчёта. ## Проверка фактов и источники - [Сломал гипотезу 1991 года: ИИ от OpenAI совершил научный прорыв](https://www.rbc.ua/ukr/news/zlamav-gipotezu-1991-roku-shi-vid-openai-1793109101.html) - Первоисточник подтверждает: гипотеза Согге 1991, доказательство для всех измерений, генерация 18.10.2026, формализация в Lean, публикация на GitHub, заявка по квантовой хромодинамике и внешний отчёт. Частичные детали (два дополнительных вопроса) в тексте обрывочны. ## Частые вопросы ### Что такое гипотеза локального сглаживания? Это задача гармонического анализа, предложенная Кристофером Согге в 1991 году. Она описывает поведение волн при концентрации и утверждает, что экстремальная фокусировка не может длиться длительное время. ### Как именно ИИ доказал гипотезу? По заявлению OpenAI, её модели сгенерировали доказательство для всех пространственных измерений 18 октября 2026 года, а 19 октября оно было формализовано в среде Lean, позволяющей компьютерно проверять логическую корректность аргументов. ### Где можно посмотреть доказательство? Текстовые и формализованные доказательства опубликованы в открытом доступе на GitHub, что позволяет независимо проверить каждый шаг.