T27.AI

Блог

Пространство поиска отменило заявление о значимости

2026-08-14 · 7 мин чтения

Смерженный аудит 67 целей снимает трактовку около 10σ после перечисления семейства поиска, в котором близкие совпадения часто возникают случайно.

Утверждение изменилось после подсчёта поиска

PR #738 смержен в gHashTag/trinity. Он проверяет раздел о статистической значимости в sacred-formulas.md воспроизводимым перечислением, а не принимает напечатанные в документе вероятности. Аудит охватывает 67 фактических целей и семейство V = n · 3^k · π^m · φ^p · e^q вокруг каждой из них.

Главная правка не в том, что несколько формул сдвинулись в последнем знаке. Размер и локальная плотность семейства поиска определяют, насколько удивительным может быть близкое совпадение. Узкая числовая полоса сама по себе не является доказательством, если для каждой цели перебирается много кандидатов.

Два перебора, две пересчитанные базы

Для расширенного перебора вероятность около 100% на одну цель означает примерно 67 ожидаемых попаданий для 67 целей. В документе было перечислено 32. Значение ниже случайного ожидания не подтверждает значимость ни в одну сторону: оно означает, что совпадения неинформативны при заявленной точности.

Поэтому аудит снимает прежние трактовки около 10σ и 3σ. Для расширенного семейства поправка Шидака при M = 123 201 и α = 0,05 даёт порог 5,06σ, а не 3σ. Этот порог — свойство заявленной модели множественных проверок, а не универсальная константа.

Правка воспроизводима и правильно ограничивает вывод

Смерженное изменение добавляет исполняемые проверки и заменяет несколько доверенных чисел значениями, пересчитанными из исходных строк. Оно также исправляет число established constants с 75 до 70 и класс EXACT с 35 до 32. Это не новые измерения природы, а исправленное чтение данных репозитория.

Один числовой пример показывает, почему проблема не в точности арифметики. Для отношения массы протона к массе электрона исправленная цель — 1836,152673426(32), а промах формулы документа в единицах экспериментальной погрешности составляет 6,3·10⁷σ. Аудит отдельно проверяет ошибку вычислений с плавающей точкой и находит её намного меньше допуска, использованного в расчёте, поэтому расхождение не объясняется округлением.

Прежде чем спрашивать, удивительно ли совпадение, перечислите, чему вообще разрешили совпасть.

Что смерженный PR оставляет на виду

• Границы стандартного перебора дают 54 756 комбинаций, тогда как документ также печатает 20 412; несогласованность отмечена, а не спрятана.
• Общие множители делают члены семейства зависимыми, поэтому порог Шидака остаётся справочным расчётом, пока зависимость не смоделирована.
• Ширина окна локальной плотности подтверждена проверками устойчивости, но не теоремой.
• Результат отрицательный по своей доказательной силе: заявленные совпадения больше не поддерживают прежнее утверждение о значимости при указанной точности.

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