Система слепого поиска частиц: гипотезы останавливаются честно, а не выдумываются

Команда разработала систему, которая занимается слепым отбором гипотез в пространстве представлений SU(3)×SU(2)×U(1). В основе — группа гейтов на аномалии, унитарность и UV-завершение, плюс правило: нельзя ранжировать меньше пяти механистически разных гипотез. Система честно ставит статус BLOCKED, если гипотезу нельзя довести до конца, вместо того чтобы выдумывать результат.

По пути вскрылись интересные детали: семь «исследовательских кандидатов» оказались на самом деле вручную закодированы — баг поймали при аудите кода. Нашёлся и ложный канал распада из-за совпадения подстроки. Несмотря на это, два кандидата прошли всю цепочку до d=7 операторов и первой условной зоны исключения по данным CMS. Для одного из них не хватает ровно одного — специалиста, который умеет собирать UFO-модели для цветовых секстетов.

Архитектура не заточена под физику частиц: на ней уже работают глобальный фит нейтринных экспериментов (DayaBay, KATRIN, T2K) и модуль аэроупругости с данными DLR. Подробности, формулы и вся цепочка проверок — в полной статье.