ИИ помог найти контрпримеры к гипотезе Грэда о плазме

Подробно

Что такое гипотеза Грэда и почему она важна для стеллараторов?

В 1967 году Гарольд Грэд из Courant Institute опубликовал в журнале The Physics of Fluids статью «Toroidal Containment of a Plasma». В ней он поставил под сомнение существование гладких тороидальных равновесий плазмы с непостоянным давлением, если у них нет дополнительной симметрии. Ландреман приводит его формулировку:

«…мы считаем очень маловероятным существование общего класса тороидальных равновесий с гладким p…»

В 1985 году Грэд уточнил гипотезу в работе «Theory and Applications of the Nonexistence of Simple Toroidal Plasma Equilibrium». По его версии, кроме оговорённых симметричных исключений, не существует семейств решений, которые гладко зависят от параметра. Частичный результат был получен в 1970 году: Дитрих Лорц доказал существование несимметричного тороидального равновесия конечного аспектного отношения. Но его конструкция работала только при зеркальной симметрии и нулевом вращательном преобразовании (iota = 0), что непригодно для магнитного удержания. Явной формулы Лорц не дал.

Для стеллараторов вопрос принципиальный. Магнитное поле в этих установках по определению сильно трёхмерное, и если бы гипотеза Грэда была верна, идеальные вложенные магнитные поверхности в таких конфигурациях были бы в общем случае невозможны.

Как GPT-6 Astra Pro помог Ландреману найти решения?

Ландреман - доцент Университета Мэриленда, работает на кафедре электротехники и вычислительной техники, в Институте исследований в области электроники и прикладной физики и на физическом факультете. Он специализируется на проектировании магнитных ловушек для плазмы и стеллараторов. Он рассматривал уравнения идеального магнитогидродинамического равновесия (curl B)×B = grad p и div B = 0. Математически они эквивалентны уравнениям стационарного несжимаемого течения Эйлера.

Препринт «Analytic toroidal 3D MHD equilibria and steady Euler flows with invariant surfaces» содержит два параметризованных семейства явных решений. Они записаны в декартовых координатах через элементарные функции. Решения неосесимметричны, магнитное поле, плотность тока и давление в них гладкие, а тороидальные магнитные поверхности точно вложены друг в друга. Получены они без разложения по обратному аспектному отношению и без допущения о малом отклонении от осевой симметрии. Градиент давления обращается в ноль только на магнитной оси.

• В первом семействе вращательное преобразование постоянно: iota = 2, то есть за один тороидальный оборот силовая линия совершает два полоидальных.
• Во втором семействе профиль iota сдвиговый и принимает рациональные и иррациональные значения, поэтому в нём есть и замкнутые, и незамкнутые силовые линии.

Оба семейства непрерывно переходят в осесимметричный предел, сохраняют стеллараторную симметрию (инвариантность при повороте на π вокруг одной из осей) и имеют два периода поля.

В благодарностях автор пишет: «Эти решения были обнаружены с использованием модели искусственного интеллекта GPT-6 Astra Pro… Все уравнения были подтверждены автором вручную». Модель также помогала готовить части рукописи. В открытом репозитории на GitHub выложены исходные формулы, файлы равновесий для численного решателя DESC, ноутбуки для проверки уравнений, а также запросы и переписка с моделью. Отдельно там показано, что аналитические выражения для обоих семейств совпадают с расчётами DESC. Ландреман назвал обнадёживающим то, что теперь достоверно известно: сильно асимметричные равновесия с идеальными магнитными поверхностями в принципе существуют.

Работу финансировало Министерство энергетики США (контракт DE-FG02-93ER54197). Ландреман также сообщил, что консультирует компанию Type One Energy Group.

Что добавила команда Google DeepMind с Gemini 4?

5 октября 2026 года на arXiv вышел препринт «Analytic non-axisymmetric 3D MHD equilibria without stellarator symmetry». Его авторы - Опал Иссан (Google DeepMind и Университет Калифорнии в Сан-Диего, где она пишет PhD-диссертацию на кафедре механики и аэрокосмической техники), Джонатан Цитрин и Брендан Трейси (Google DeepMind, Лондон), а также Мэтт Ландреман.

Команда добавила в оба семейства Ландремана непрерывный параметр, нарушающий стеллараторную симметрию. При нулевом значении параметра решения возвращаются к симметричному случаю. В первой обобщённой семье к осесимметричному равновесию Соловьёва до растяжения координат добавлен член, нечётный по вертикальной координате: он деформирует магнитную ось и окружающие её поверхности. Во второй семье комплексный фазовый сдвиг не меняет плоскую эллиптическую магнитную ось, но наклоняет и сжимает поверхности.

По словам авторов, они использовали Gemini 4 как небольшую команду агентов в среде Google Antigravity. Агентам дали препринт Ландремана и список оставленных в нём открытых вопросов. «Перспективные кандидаты появились в течение нескольких часов», - пишут исследователи. Модель Gemini 4 Argon также писала черновики частей рукописи и код для символической и численной проверки. Иссан отдельно отметила, что Gemini 4 Argon справилась с задачей без примеров, после чего команда проверила формулы в SymPy.

По словам авторов, задачу выбирали люди. Они же направляли агентов, провели несколько раундов состязательной проверки и заново независимо вывели каждый результат. Всю ответственность за содержание работы авторы взяли на себя. Поэтому роль модели в результате описана самими исследователями, сведений о независимом аудите работы агентов нет.

Кто первым опроверг гипотезу Грэда?

Сказать, что гипотезу опроверг именно ИИ, было бы неточно. 21 сентября 2026 года, за день до препринта Ландремана, Хавьер Гомес-Серрано, Лукас Лир и Митчелл А. Тейлор опубликовали 147-страничную работу «Counterexamples to Grad's conjecture». Для каждого достаточно большого N они построили гладкие равновесия на вложенных сплошных торах с циклической группой симметрии C_N, но без плоскостной, осевой или винтовой симметрии, которую предполагал Грэд. Результат формально проверен в системе Lean 4.

У этого контрпримера поле обращается в ноль на круглой магнитной оси, а вращательное преобразование в последующей работе описано как бесконечное. Решения Ландремана - первые явные замкнутые формулы таких равновесий с конечным вращательным преобразованием. Университет Мэриленда 14 октября подвёл итог так: три семейства контрпримеров в двух независимых работах. Два семейства принадлежат Ландреману, одно - группе Гомеса-Серрано.

Что это меняет для термоядерной энергетики?

Прямо - пока ничего. Точные решения нужны прежде всего как эталонные тесты для трёхмерных кодов равновесия VMEC, SPEC и DESC, на которых проектируют стеллараторы. Решения без стеллараторной симметрии позволяют проверить полный набор коэффициентов Фурье: при симметрии число независимых коэффициентов сокращается вдвое.

Сами авторы подчёркивают, что результат не доказывает оптимальности, устойчивости, инженерной реализуемости или энергетической выгодности найденных форм. Он лишь устанавливает, что определённые идеализированные равновесия математически существуют. Нет данных о том, что решения уже применяются при проектировании конкретного стелларатора или приближают коммерческий термоядерный синтез. Открытыми остаются вопросы о точных неосесимметричных равновесиях для вакуумных и force-free полей и о равновесиях с точной квазисимметрией.

В Принстонской лаборатории физики плазмы (PPPL) назвали результат особенно значимым для стеллараторов и полезным для токамаков с неидеальной осевой симметрией. На 21 октября PPPL анонсировала публичную онлайн-лекцию Ландремана «Discovering Counterexamples to Grad's Conjecture Using AI». Основатель MACCUS Марк Винер в обзорной статье рассматривает этот случай как пример того, как ИИ переходит от математики к естественным наукам, где результат можно дёшево и объективно проверить. Он предполагает, что такие области ИИ освоит раньше наук, где проверка требует дорогих экспериментов.

Независимых экспертных разборов двух новых препринтов найти не удалось: пока результат оценивают в основном сами авторы, их университет, PPPL и обзорные издания. Сведения о решении задачи «за 20 минут», которые встречаются во вторичных публикациях, текстами препринтов не подтверждаются.

Можно ли пользоваться GPT-6 Astra и Gemini 4 Argon из России?

Препринты и код открыты и бесплатны на arXiv и GitHub, коммерческих продуктов на основе найденных равновесий не анонсировано. Официально модель OpenAI называется GPT-6 Astra, отдельный публичный продукт с названием Astra Pro не подтверждён. Модель доступна через ChatGPT, Codex и API. Стандартный тариф API для короткого контекста - 10 долларов США за 1 млн входных токенов и 50 долларов за 1 млн выходных. Gemini 4 Argon доступна через Gemini API и Google AI Studio, но не на бесплатном уровне. До 30 ноября 2026 года она стоит 2 и 10 долларов США за 1 млн входных и выходных токенов, с 1 декабря - 4 и 20 долларов. Сколько стоили вычисления в этих исследованиях, авторы не сообщают.

России нет в официальных списках поддерживаемых регионов ни OpenAI API, ни Gemini API. OpenAI предупреждает, что доступ из неподдерживаемой страны может привести к блокировке аккаунта. Читать сами препринты эти ограничения не мешают.