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

В сентябре 2026 года Anthropic рассказала о расчёте девятипетлевой шестиглюонной амплитуды в планарной N=4 суперсимметричной теории Янга — Миллса. Это математическая модель, на которой физики проверяют методы расчёта, а не описание конкретной реакции на Большом адронном коллайдере. Чтобы оценить результат, стоит смотреть не только на гостевую публикацию компании, но и на техническую записку Cosmic9 и открытые файлы.

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

Что именно рассчитывали

Амплитуда рассеяния помогает рассчитывать вероятности взаимодействий частиц. «Петли» обозначают порядок поправки в теории возмущений. Девять петель здесь не девять этапов лабораторного опыта, а высокий порядок математического выражения.

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

Символ получили двумя путями. В первом рассчитали девятипетлевой форм-фактор, связали его с амплитудой и восстановили символ вне поверхности Δ = 0. Во втором напрямую применили метод bootstrap к символу в пространстве шестигранных функций. Bootstrap здесь означает поиск решения в заранее заданном пространстве с последовательным наложением ограничений.

Это два вычисления символа, но не два полностью опубликованных и воспроизводимых программных конвейера. Техническая записка уточняет: расчёт через форм-фактор был выполнен одним конвейером; отдельно сделали прямой bootstrap символа.

Два представления и коэффициенты

Два представления совпали по всем 107 053 ненулевым словесным коэффициентам, определяющим файл прямого bootstrap-расчёта. Для 3 401 коэффициента обычная реконструкция рациональных значений по двум остаткам не дала сертифицированного результата. Их сравнили с точными значениями прямого расчёта, используя более широкую границу.

В форм-факторном расчёте коэффициенты получали по модулю двух простых чисел, а затем пытались восстановить рациональные числа. По критерию технической записки, числитель и знаменатель должны быть ниже установленной границы, а знаменатель должен быть степенью двойки. Критерий подтвердил 1 014 476 из 1 018 297 ненулевых координат базисного представления, или 99,62%. Ещё 3 821 координата осталась несертифицированной. Это не доказывает, что значения ошибочны: лишь выбранная процедура не подтвердила их рациональную реконструкцию.

Для 3 401 коэффициента расширенную границу выбрали, ориентируясь на размеры точных значений прямого bootstrap. Поэтому сравнение свидетельствует о согласованности двух расчётов, но не восстанавливает эти коэффициенты только по двум остаткам. Проверка сильная, но не полностью независимая от одного из сравниваемых результатов.

В открытом наборе есть выборка из 20 400 случайных слов с ненулевыми коэффициентами и 230 слов с нулевыми. Для ненулевых приведены остатки по двум простым числам и восстановленные рациональные значения. Эти данные можно проверить и сопоставить представления, но выборка не охватывает все коэффициенты и не раскрывает исходные программы вычисления.

Контрольные задачи и отложенные данные

Сложный расчёт полезно проверять на случаях, где ответ уже известен. Форм-факторный метод воспроизвёл опубликованные результаты до восьми петель. Для амплитудной части восьмипетлевой контроль сравнили с опубликованным результатом на тысяче случайных слов с ненулевыми коэффициентами: все 1 000 совпали.

Это подтверждает работу частей метода на задаче с известным ответом, но не гарантирует правильность девятипетлевого результата. На новом порядке могли возникнуть новые ошибки.

В технической записке также описаны проверки симметрий, первых и последних элементов символа, запрещённых соседств букв и предельного поведения. Их значение зависит от того, участвовали ли эти условия в построении решения. Если условие уже заложено в допустимое пространство, его выполнение прежде всего показывает, что результат собран по заданной схеме. Это не независимое доказательство физической правильности схемы.

Более информативны условия, оставленные вне подгонки. В форм-факторной части на девяти петлях не использовали один сектор данных, и найденное решение ему удовлетворило. В амплитудной части некоторые данные тоже не участвовали в фиксации оставшихся параметров. Такие проверки независимее, но охватывают только определённые направления результата. Например, пять направлений задаются данными двухглюонного сектора и не проверяются независимо другими рассмотренными пределами.

Что остаётся за пределами проверки

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

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

Полную функцию получили отдельно, но только один раз. Второго независимого вычисления нет, а техническая записка рассматривает проверки на уровне символа. Значит, согласие двух представлений символа нельзя считать независимой проверкой полной функции.

Публикация Anthropic написана физиком и научным автором Matt von Hippel с добавлением Lance Dixon. Это гостевой пост, а не рецензируемая научная статья. Anthropic сообщает, что пригласила и оплатила текст von Hippel, а Dixon получил кредиты Claude за проверку. Публикация полезна для контекста, но технические подробности и оговорки следует сверять с запиской и файлами проекта.

Как читать такие результаты

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

Отдельно отмечайте, какие условия использовали для построения решения, а какие оставили для проверки. Отложенные данные повышают независимость проверки, но не снимают допущений модели. Если результат зависит от конечной точности, отсечения ряда или реконструкции коэффициентов, важны сам критерий и число значений, которые ему не соответствуют.

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

По опубликованным материалам девятипетлевой символ прошёл содержательные проверки: его получили двумя путями, сравнили 107 053 коэффициента и проверили метод на результатах меньшего порядка. Но это не полная независимая сертификация кода или полной функции амплитуды. Точнее сказать, проверки символа дают веские свидетельства согласованности, но имеют границы: 3 821 базисная координата не сертифицирована указанным критерием, исходные программы форм-факторного конвейера недоступны, а полную функцию вычислили лишь однажды.

Источники

Схема показывает проверки символа девятипетлевой амплитуды и их ограничения: согласие двух представлений не означает независимой проверки полной функции.

Фото: JESHOOTS.com / Pexels