Вперед, математик на ИИ из Цинхуа: от идеи до теоремы, принимает участие в 84-страничной статье о квантовых алгоритмах
«ИИ-математик из Цинхуа»: как ИИ участвовал в создании 84-страничной работы по квантовым алгоритмам
Исследователи из Института интеллектуальной промышленности Университета Цинхуа (AIR) представили интеллектуальную систему AIM, предназначенную для помощи в математических исследованиях. В отличие от инструментов, решающих готовые задачи, AIM способна участвовать в более ранних этапах научной работы: помогает генерировать идеи, структурировать теоремы, создавать черновики доказательств, которые затем проверяются человеком.
На практике AIM была использована в передовом исследовании по квантовым алгоритмам под названием «Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions». Работа началась с интуитивной идеи исследователей-людей: может ли рациональная аппроксимация стать принципом проектирования квантовых алгоритмов? ИИ помог расширить эту идею в несколько возможных направлений исследования. Человеческие учёные выбрали наиболее перспективный путь — метод «знакового внедрения» (Sign-Embedding). Затем AIM协助 организовать теоретический каркас, сгенерировала черновики доказательств и анализ сложности.
В результате совместной работы был создан 84-страничный научный документ, представляющий новый класс квантовых алгоритмов для решения матричных уравнений и вычисления матричных функций. Ключевой вклад работы — предложение единого подхода к различным задачам путём их «внедрения» в знаковую функцию матрицы с последующей эффективной квантовой аппроксимацией.
Исследование демонстрирует реалистичную модель взаимодействия человека и ИИ в теоретической науке. ИИ выступает как инструмент для высокопроизводительного исследования пространства идей, генерации вариантов и черновиков. Человек-исследователь выполняет критическую роль «воротаря»: оценивает ценность направлений, проверяет допущения, исправляет ошибки и осуществляет окончательный синтез результатов. Такой симбиоз позволяет повысить эффективность исследований, перенося фокус учёных с рутинных выкладок на стратегический выбор задач и глубокую экспертизу.
marsbit07/10 02:55
