Мы построили систему, которая умеет честно останавливаться, когда не может довести гипотезу до конца. Слепой отбор координаты в пространстве представлений SU(3)×SU(2)×U(1), группа гейтов на аномалии/унитарность/UV-завершение, и правило «нельзя ранжировать меньше пяти механистически разных гипотез»…