Растущий объём алгоритмических вычислений в теоретической физике, часто концептуально простых, но трудоёмких и содержащих тонкие моменты, побуждает искать новые инструменты. В работе исследуется, способны ли большие языковые модели (LLM) с интегрированной средой компьютерной алгебры (CAS) и релевантным контекстом надёжно решать такие задачи. Языковая модель Claude была подключена к системе Maple и применена к расчёту космологических возмущений в модифицированных теориях гравитации. Продемонстрированы текущие возможности подхода, типичные сбои и пути их устранения. Ключевой вывод: передовая LLM, снабжённая готовыми примерами решений, успешно справляется с большинством тестовых задач.
Расширение Вселенной ускоряется, и, возможно, гравитация работает не так, как мы думаем. Физики разрабатывают альтернативные теории, но чтобы их проверить, нужно рассчитать, как из ряби после Большого взрыва выросли галактики. Такие расчёты — это длинные уравнения с сотнями слагаемых, где легко запутаться. Жорж Леметр и Эдвин Хаббл заложили основы, но теперь машина берёт черновую работу на себя.
Нейросеть Claude, подключённая к математическому пакету Maple, действует как робот-повар: вы даёте рецепт (исходную теорию), а она сама отмеряет ингредиенты (упрощает формулы), смешивает (подставляет выражения) и выпекает (выдаёт предсказания). Физику остаётся проверить вкус — сравнить с наблюдениями. На задаче о космических возмущениях ИИ после пары примеров справлялся с большинством новых, но иногда ошибался, путая знаки или теряя члены.
Такой помощник способен в разы ускорить поиск разгадки скрытой энергии космоса — или вовсе показать, как расширение обходится без неё. Пока без контроля человека не обойтись, но ясно: будущее космологии требует симбиоза ума живого и машинного.
🎯 Первые расчёты космической ряби вели карандашом на бумаге. Одна арифметическая оплошность — и открытие откладывалось на десятилетие.