Публичное демо · отобранные пресеты

See it run

Три предустановленных открытия — цикл goal → falsifier → saturation, кэшированный и показанный полностью
3
отобранные сценарии
100%
проаудировано falsifier
0
никаких живых вычислений, по правилу
↓ прокрутить

Что показывает это демо

Каждый сценарий ниже — это фиксированная цель в паре с фиксированным verifier, а результат — кэшированный прогон реального предыдущего цикла открытия.

Это предустановленное, изолированное демо. Оно не выполняет живых вычислений: здесь нельзя отправить seed или verifier, и ничто на этой странице не порождает процесс. То, что вы видите, — именно то, что производит hexa kick: предложенная goal, запущенный против неё falsifier, проверка saturation и проверенный результат, в котором вердикт verifier — единственный авторитет в вопросе достижения цели. Чтобы запустить собственную измеримую цель со своим verifier, войдите в панель.

Отобранные предустановленные сценарии

01

Наименьшее совершенное число

кэшированный прогон
цельпоказать, что 6 равно сумме своих собственных делителей
verifierточная целочисленная проверка — сумма собственных делителей == n
лимит раундов2 раунда
след раундов · goal → falsifier → saturation
  1. раунд 1
    goal делители 6, меньшие 6, — это в точности {1, 2, 3}
    falsifier перечислить d | 6, d < 6 → {1, 2, 3} — ни один элемент не пропущен, ни одного лишнего
    вердикт верно — множество собственных делителей подтверждено
  2. раунд 2
    goal сумма собственных делителей 6 равна 6 (6 — совершенное число)
    falsifier 1 + 2 + 3 = 6, и 6 = 6 → равенство проверено, а не заявлено
    вердикт верно — 6 совершенно; saturation достигнута, открытых goal не осталось
проверенный результат
σ(6) − 6 = 6, то есть 1 + 2 + 3 = 6. Сумма собственных делителей равна самому числу — 6 является совершенным числом, и goal раунда 2 пережила собственный falsifier.
verifier rc=0 — PASS (verifier — единственный авторитет в вопросе достижения цели)
02

Следующее совершенное число

кэшированный прогон
цельнайти совершенное число, следующее за 6, и проверить сумму его делителей
verifierточная целочисленная проверка — сумма собственных делителей == n, плюс сканирование без пропусков
лимит раундов2 раунда
след раундов · goal → falsifier → saturation
  1. раунд 1
    goal 28 совершенно, поэтому сумма его собственных делителей равна 28
    falsifier перечислить {1, 2, 4, 7, 14}; 1+2+4+7+14 = 28 → проверено по слагаемым
    вердикт верно — сумма собственных делителей равна 28
  2. раунд 2
    goal 28 — второе совершенное число после 6, и между ними нет других
    falsifier просканировать каждое n в 7..27 на sigma_proper(n) == n → не найдено
    вердикт верно — 28 является следующим совершенным числом; saturation достигнута
проверенный результат
28 = 1 + 2 + 4 + 7 + 14. Это второе совершенное число; falsifier просканировал каждое целое от 7 до 27 и не нашёл более раннего, поэтому утверждение ‘следующее совершенное число’ уцелело.
verifier rc=0 — PASS (verifier — единственный авторитет в вопросе достижения цели)
03

Форма чётных совершенных чисел

кэшированный прогон
цельобнаружить замкнутую форму, порождающую чётные совершенные числа
verifierточная целочисленная проверка — форма 2^(p-1)(2^p-1) против проверенной суммы делителей
лимит раундов2 раунда
след раундов · goal → falsifier → saturation
  1. раунд 1
    goal 6 и 28 оба соответствуют форме 2^(p-1) · (2^p - 1)
    falsifier 6 = 2^1·(2^2-1) при p=2; 28 = 2^2·(2^3-1) при p=3 → соответствие проверено
    вердикт верно — оба известных случая соответствуют форме
  2. раунд 2
    goal когда 2^p - 1 простое, 2^(p-1)·(2^p-1) — чётное совершенное число
    falsifier проверить p=5: 2^5-1 = 31 простое → 16·31 = 496; проверить sigma_proper(496) == 496
    вердикт верно — 496 = 1+2+4+8+16+31+62+124+248, третье чётное совершенное число
проверенный результат
Чётные совершенные числа следуют форме Евклида 2⁷⁻¹(2⁷ − 1) всякий раз, когда 2⁷ − 1 простое (простое Мерсенна). falsifier подставил p=5 и проверил новый случай, 496 — закономерность была не просто заявлена, её заставили пережить новую проверку.
verifier rc=0 — PASS (verifier — единственный авторитет в вопросе достижения цели)

Честная область

Кэш, а не вживую: Каждый результат выше — это записанный предыдущий прогон kick, показанный для предустановленной цели + предустановленного verifier, из которых он получен. Публичная поверхность не выполняет вычислений — по замыслу, нулевая поверхность для злоупотреблений.
Verifier — это авторитет: Phanes никогда не заявляет о достижении цели без прохождения verifier. Демо показывает вердикт verifier (rc=0) рядом с результатом — но не вместо него.
Никаких обещаний завершить проект: Phanes возвращает проверенное, проаудированное falsifier открытие — здесь это результат о структуре делителей. Он не завершает программный проект автономно; saturation — единственная жёсткая остановка.

Запустите свою цель

Предустановки выше ограничены намеренно. Панель снимает ограничение: принесите свою измеримую цель и свой verifier и запустите против неё весь цикл OUROBOROS — ваши открытия, ваш частный каталог.

войти phanesповерхность открытий — как работает Phanes