Внутренняя модель OpenAI решила три открытые задачи в математике, теоретической информа...
Внутренняя модель OpenAI решила три открытые задачи в математике, теоретической информатике и физике, сообщает data_secrets. Среди результатов — опровержение ETH, гипотезы об экспоненциальном времени, на которой основаны сотни научных работ. Результаты ещё предстоит проверить экспертным группам. ETH предполагает, что задачу выполнимости булевых формул — поиск значений, при которых логическое выражение истинно, — нельзя решить существенно быстрее полного перебора. Это ключевое предположение теории вычислительной сложности, тесно связанное с задачей тысячелетия P ≠ NP: действительно ли искать решение труднее, чем проверять готовое. Десятилетиями ETH служила основой для результатов в теории графов, вычислительной биологии, базах данных и геометрии. Если её опровержение подтвердится, вопросы «насколько быстрее ещё можно?» снова открываются. Проверку возглавят Рассел Импальяццо и Рамури Патури — учёные, сформулировавшие ETH. OpenAI также обещает оплатить конференцию, посвящённую осмыслению результата. Два других результата — тоже не проходные. Гипотеза Согга, Какэя и Штейна Гипотеза Согга 1991 года касается локального сглаживания: грубо говоря, самая сильная фокусировка волн в одной точке не может длиться долго. Из неё следуют гипотеза Какэя и гипотеза Штейна об ограничении. Это центральные вопросы гармонического анализа — раздела математики, изучающего функции через волновые составляющие. По изложению data_secrets, после десятилетий работы математики располагали доказательствами лишь для малых размерностей — двух или трёх. Модель выдала доказательство гипотезы Согга для любой размерности, тем самым разрешив и гипотезы Какэя и Штейна во всех размерностях. Существование теории Янга—Миллса и КХД Источник также сообщает о строгом доказательстве существования теории Янга—Миллса — математического описания взаимодействий полей. Это часть одной из семи задач тысячелетия. Кроме того, модель доказала существование полной КХД — квантовой хромодинамики, теории сильного взаимодействия, где наряду с глюонами присутствуют кварки, — и объединённой теории, включающей частицы Стандартной модели, описывающей элементарные частицы и их взаимодействия. Этот результат разберёт группа во главе с нобелевским лауреатом Дэвидом Гроссом. Подробности — в материале OpenAI о научных результатах и работе с академическим сообществом. Материалы: — https://openai.com/index/building-scientific-understanding-with-academic-communities/ Источник: https://t.me/data_secrets/10221 #RealVibe #AI #AI_Новости