Исследователи представили DualityCert — систему верификации для проверки гипотез о дуальности Зейберга в четырехмерных калибровочных теориях. Инструмент использует символьные методы для оценки согласованности квантовых моделей, автоматически выявляя противоречия в теоретических утверждениях. Система выдает сертификат соответствия, если предложенная модель проходит все этапы проверки, что значительно ускоряет анализ сложных физических теорий.
В основе работы лежит комбинация языковых моделей и формальной верификации. Традиционно поиск дуальностей требовал ручного вывода и проверки множества математических условий, что было подвержено ошибкам. DualityCert автоматизирует этот процесс, проверяя соответствие аномалий 'т Хоофта, согласованность R-зарядов суперпотенциала и центральных зарядов. Это позволяет исследователям быстрее отсеивать некорректные гипотезы и фокусироваться на перспективных теоретических конструкциях.
Метод использует «прокси» хирального кольца для оценки ограничений, что позволяет системе работать с квантовыми теориями поля в рамках N=1 суперсимметрии. Использование верификатора в связке с LLM позволяет не только генерировать потенциальные решения, но и гарантировать их математическую непротиворечивость в рамках заданных физических ограничений. Это важный шаг в сторону использования ИИ для автоматизированных научных открытий в теоретической физике.
Ключевые факты
- DualityCert проверяет гипотезы о дуальности Зейберга в 4D N=1 калибровочных теориях типа «колчан».
- Система проводит автоматическую проверку соответствия аномалий 'т Хоофта и согласованности R-зарядов.
- Инструмент выдает сертификат консистентности, подтверждающий отсутствие выявленных противоречий в модели.
- Метод объединяет возможности языковых моделей с символьной верификацией для повышения точности научных выводов.