Осень. Срочно зовите Перельмана — я доказал гипотезу Римана

35 минут назад Прокомментировать Просмотры: 2

Рисунок 1

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

Спойлер: смартфон пока не пригодится, а готового доказательства гипотезы Римана здесь не отыскать. Зато представлена наглядная геометрическая модель, прецизионный счетчик простых чисел и алгоритм, который в ходе честного сравнения превзошел классическое сегментное решето на Python. О том, как одна идея закономерно вытекла из другой, пойдет речь дальше.

Спойлер 2: во втором разделе мы все-таки зафиксируем строгий результат, касающийся следующего диапазона. До разгадки гипотезы Римана еще далеко, но сезон дождей в разгаре, так что оставьте хотя бы email.

Спойлер 3: в работе задействован искусственный интеллект Astra Ultra. Алгебра вызывает у него исключительно теплые чувства, поэтому далее повествование ведется от лица «мы».

Часть 1. От координатных осей до точного счетчика

В привычной системе координат простые числа выстроены в линейный ряд: 2, 3, 5, 7, 11. Дистанции между ними колеблются без видимой закономерности. Мне захотелось добавить этой прямой пространственное измерение: интерпретировать простые числа как базисные направления, а составные — как координаты точек, достигаемых при перемещении вдоль этих векторов. За несколько дней совместной работы с ИИ эта концепция превратилась в графические схемы, программный код и жесткие математические правила. Некоторые эвристические догадки пришлось упростить, а часть закономерностей — переосмыслить в ходе самостоятельного анализа.

Координата по каждой «простой» оси задает показатель степени соответствующего множителя. Шаг по оси 3 эквивалентен умножению на 3, по оси 5 — на 5. На иллюстрациях ниже число 2 уже учтено, поэтому мы сосредоточились исключительно на нечетных адресах. Новые пласты произведений, возникающие при переходе к следующему простому числу, мы условились называть «блинами».

Рисунок 1. Присвоение адреса числу. Слева показаны шаги вдоль осей 3 и 5, справа — формирование новых слоев по оси 7. Это проекция первых направлений; остальные простые числа формируют собственные ортогональные оси. [5, 6]

Два шага по оси 3 в сочетании с одним шагом по оси 5 приводят к числу 45. Число 15 достигается как через $3 \times 5$ , так и через $5 \times 3$ . Последовательность перемещений отличается, но конечный адрес совпадает. В дальнейшем это элементарное наблюдение оказалось крайне полезным при корректном учете пересечений.

Как тени проложили путь к новой опоре

Произведения оставляли на нечетной числовой оси отчетливые следы: 9, 15, 21, 25. Мы назвали их тенями. Каждая тень соответствовала определенному составному числу. При этом одна точка могла оказаться на пересечении нескольких теней, поэтому учитывать ее следовало строго единожды.

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

Имея в качестве отправной точки некоторое простое число , мы формируем систему произведений , где — нечетное простое, а — нечетное целое, причем оба множителя заключены в диапазоне от 3 до . Очередной исследуемый сегмент охватывает нечетные адреса из интервала , где

$G(B)=\min(B^2,\;3B+4).$

В пределах этой границы покрытие абсолютно: любое составное число гарантированно покрыто тенью, а значит, оставшаяся пустота с непреложностью указывает на простое число. Именно исчерпывающий характер покрытия превращает простую графическую иллюстрацию в строгий алгоритмический инструмент. [5, теорема 1]

Рисунок 2. Пространство 7 поддается прямой визуальной оценке: . Из девяти новых нечетных адресов четыре оказались перекрыты, а пять остались незанятыми. Крайняя правая пустота — 23 — становится новой опорной точкой. Справа от нее располагается лишь составное число 25, что подтверждает абсолютную точность замыкания границы. [6]

Так родился метод дискретных скачков. В качестве следующей опоры мы выбирали крайнюю незанятую пустоту — наибольшее простое число, не превосходящее . Первые переходы выглядели следующим образом: $3 \to 7 \to 23 \to 73$ . Это крупные шаги через ключевые опорные пункты, между которыми промежуточные простые числа просто фиксируются счетчиком, не требуя построения отдельного вычислительного пространства для каждого из них.

Разумный минимализм вместо избыточных вычислений

«Какой объем предыстории действительно необходим, чтобы безошибочно сделать следующий шаг?»

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

В итоге мы сохранили лишь то, что действительно функционировало: периоды теней, обнаруженные адреса и доказательство того, что зона справа от финальной пустоты надежно закрыта. Для нового узкого окна мы стали достраивать исключительно недостающую часть базиса. Техническая поправка, учитывающая три полосы и их взаимные пересечения, покрывала прирост на каждом шаге; ее детальное описание приведено в материалах методики. Сложные комплексные моменты завершенного окна можно было смело отбросить, ограничившись сохранением необходимых целых адресов. [6, 7]

Затем возник более прагматичный вопрос: «Действительно ли нам нужно постоянно хранить эти адреса?» Проверка преподнесла сюрприз. Адреса сохранялись, но алгоритм далеко не всегда обращался к уже разрешенным окнам. Часть известных чисел заново проходила процедуру инициализации и извлечения. В одном из диагностических профилей мы зафиксировали четырнадцать подобных дублирующих проходов в четырех вспомогательных окнах. Стало очевидно, почему изящное математическое преобразование само по себе не гарантирует высокой скорости вычислений. [7]

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

Окружение чисел обогатилось системой правил

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

Принцип поглощения позволил еще сильнее упростить алгоритм. Если все необходимые адреса определенной тени в текущем окне уже заблокированы другими тенями, строить ее отдельно не требуется. Мы начали применять накопленные закономерности к новому окну, вычисляя лишь необходимый остаток. Вместо того чтобы отслеживать все возвращения циклических слоев, мы проверяли только то, что актуально в текущий момент.

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

Что показали контрольные замеры

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

Именно эта рабочая ветка, получившая название CandidatePrime, продемонстрировала реальный прирост производительности. Ее оптимизированное ядро больше не тратило ресурсы на восстановление адресов из комплексных моментов. Базовый набор простых делителей сохранялся в компактном виде и расширялся по мере необходимости. Геометрический подход помог отсечь лишние операции, а реализация оказалась значительно проще первоначальных исследовательских набросков. [5, §4.1; 6]

Метод	Первый опыт	Повтор
CandidatePrime	263,506 мс	294,488 мс
Python сегментное решето	713,200 мс	826,170 мс
MR12	2,035 мс	2,219 мс

Таблица 1. Медианное время полного прохождения маршрута по 12 запусков для каждого метода в двух сериях тестов. Задача заключалась в обнаружении максимума и подтверждении закрытого суффикса в коротких окнах. Данные зафиксированы 10 октября 2026 года. [5, 6]

Для оценки относительной скорости в каждом из 12 парных прогонов вычислялось отношение времени работы решета ко времени CandidatePrime, после чего находилась медиана этих соотношений. Она составила примерно 2,79 для первой серии тестов и 2,76 для повторной. Поскольку речь идет о медианах парных отношений, они не обязаны совпадать с отношением двух медиан времени, приведенных в таблице.

Все алгоритмы автономно преодолевали идентичный маршрут: 28 вспышек и 31 окно. Процедуры инициализации и расширения базиса включались в таймер, а конечные максимумы не предоставлялись заблаговременно. В каждой из серий тестов совпали все 1 116 результатов (3 метода × 12 запусков × 31 окно).

Контрольный тест Миллера — Рабина с фиксированными основаниями, гарантированно точный в выбранном диапазоне $n<2^{64}$ , оказался примерно в 144 раза быстрее CandidatePrime (использовался аналогичный показатель медианы парных отношений: ~144,49 в первом цикле и ~13,80 в повторном, в таблице эта ветка обозначена как MR12).

Таким образом, достигнутый выигрыш имеет вполне конкретные границы: поиск границы короткого окна обогнал конкретную реализацию сегментного решета на Python. Данное исследование не претендовало на сопоставление со всеми оптимизированными решетами на C/C++ и не тестировало скорость сплошного перебора простых чисел.

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

Опорные волны и структура растущих миров

У вспышек обнаружился выраженный внутренний ритм: следующая опорная точка зачастую располагалась вблизи утроенного значения предыдущей. Отчасти этот масштаб заложен в самом алгоритме построения: при $B \ge 5$ граница мира определяется как . Наибольший интерес представляли нерегулярные отклонения крайнего простого числа от этой расчетной границы. Мы начали с последовательности, стартующей от 3, после чего проверили аналогичные семейства, начиная с 5, 7 и других простых чисел.

Опорным точкам присвоили буквенные обозначения. Поначалу избыточная индексация заслоняла суть: казалось, будто числовой ряд берет начало где-то в области миллионов. Пришлось вернуться к истокам — 3, 7, 23, 73 — и выстроить сквозной алфавитный ряд вплоть до AA и далее. График вплоть до отметки AM наглядно продемонстрировал две тенденции одновременно: практически линейный рост в логарифмическом масштабе и хаотичные флуктуации под ним. Простое чередование локальных поправок не описывало всю полноту ряда. [8]

Рисунок 3. Опоры в диапазоне от A до AM. В верхней части виден глобальный тренд роста, в нижней — реальные амплитудные смещения. Плавность крупномасштабного движения соседствует с нерегулярностью локальных поправок. Иллюстрация создана на основе исходного SVG-файла без модификации первичных данных. [8]

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

Превращение умножения в геометрический поворот

На комплексной плоскости мы представили каждый адрес точкой $z_s(n)=n^{-s}$ при фиксированном комплексном параметре . Число приобрело векторные характеристики — длину и направление. Умножение адреса на фиксированный простой множитель трансформировалось в стандартное преобразование подобия: поворот на определенный угол и масштабирование. Таким образом, целые массивы адресов поддавались одновременному переносу по единому закону, а графики на числовой оси оказались связаны логарифмической спиралью.

Рисунок 4. Взаимосвязь шагов $7 \to 23 \to 73$ . Пустоты 11, 13, 17, 19 и 23, выявленные на первом этапе, после умножения на 3 формируют тени на следующем уровне. Иллюстрация сохраняет изначальную арифметику адресов и подчиняется единому закону вращения и масштабирования. [8]

Здесь особенно наглядно проявился принцип преемственности. По мере расширения вселенной уже проверенные участки оставались неизменными: составные сохраняли статус составных, а простые не могли внезапно превратиться в произведения. Сохранялись и веса, закрепленные за этими адресами. Данное свойство было строго сформулировано и доказано математически. [5, теорема 2]

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

Происхождение формулы 3P − 82

В определенный момент возникло желание проверить, насколько далеко можно распространить ограниченный набор правил. В качестве экспериментального полигона мы выбрали колоссальное простое число $P=2^{136\,279\,841}-1$ , десятичная запись которого насчитывает свыше сорока одного миллиона знаков. Очевидно, что попытка построить всю структуру вблизи столь масштабного числа методом прямого перебора была заведомо обречена на провал. Однако узкую полосу в непосредственной близости от его границы можно исследовать с помощью точных остатков от деления. [6]

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

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

Нам также удалось доказать отдельный результат о локализации: в этих полутора тысячах адресов следы всех предыдущих осей вплоть до миллиона полностью поглощались более поздними слоями. Мы выделили малые простые множители каждого адреса со всеми их степенями; этот объем информации занимал не более 80 бит. Факт замены старых осей новыми был подтвержден строго без необходимости вычисления самих этих делителей. Подобный сертификат существенно сокращает описание покрытия, хотя и не снимает вопрос о простоте оставшихся 119 кандидатов. [6]

Технические ограничения среды были жесткими: процессорная квота, эквивалентная восьми ядрам CPU, 8 ГиБ оперативной памяти и полное отсутствие графического ускорителя. Сравнения производительности выполнялись на одном выделенном логическом ядре процессора Intel Xeon Platinum 8573C. Колоссальное число даже не требовалось полностью размещать в памяти: расчет оперировал модульными степенями. Сама двоичная запись заняла бы около 16,25 МиБ. Главным препятствием выступал именно объем проверок, а не хранение столь длинного числа.

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

Точная арифметика позволила заглянуть в поразительно отдаленные сферы, одновременно подтвердив простую истину: некоторые вопросы не становятся проще лишь оттого, что их удается кратко записать.

Колебания на фоне золотых линий

Когда пустоты сложились в единую счетную систему, фокус внимания сместился на анализ отклонений. Каждому простому числу мы присвоили логарифмический вес $\ln q$ . Через $\theta(x)$ мы обозначили сумму этих весов по всем простым $q\le x$ (включая двойку), а через $r=\lfloor\sqrt N\rfloor$ — динамическую нижнюю границу. Исходная глобальная рябь в наших вычислениях определялась следующим образом:

$R(N)=\theta(N)-\theta(r)-(N-r).$

Это взвешенный показатель количества простых чисел на интервале за вычетом длины самого отрезка.

Для корректного сопоставления отклонений при различных мы нормировали рябь на возрастающий масштаб:

$\rho(N)=\frac{R(N)}{\sqrt N\,(\ln N)^2}.$

Далее под термином «нормированная рябь» мы подразумеваем именно $\rho(N)$ . Золотые линии на графике обозначают выбранный коридор $|\rho(N)|\le C$ ; его поведение за пределами просчитанного диапазона остается предметом дальнейших изысканий.

Рисунок 5. Те самые золотые линии. В верхней части коридор расширяется синхронно с масштабом, тогда как в нижней, после нормирования, его границы выравниваются горизонтально. Протестированы целые числа от 100 до одного миллиона; служит визуальным ориентиром. Экстраполяция за пределы расчетов выделена отдельно. [9]

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

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

Выделение известной составляющей из колебаний ряби

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

Рисунок 6. Процедура выравнивания без подгонки под график. Поправка рассчитывается на основе малых простых чисел и их степеней. Для целых от 100 до миллиона среднеквадратичное значение (RMS) нормированной ряби сократилось в 5,11 раза. В нижней части показана динамика комплексной суммы весов — принципиально иной объект по сравнению с адресной спиралью на рисунке 4. [9]

В результате была получена точная поправка, преобразующая исходную взвешенную рябь в классическую разность $\psi(N)-N$ . Функция $\psi$ учитывает простые числа и все их степени: каждая степень $q^k\le N$ добавляет вес $\ln q$ . После введения поправки мы применили ту же схему нормирования:

$\rho_{\mathrm{corr}}(N)=\frac{\psi(N)-N}{\sqrt N\,(\ln N)^2}.$

Таким образом из первичного отклонения вычли составляющую, вычисление которой мы уже освоили.

Значение RMS здесь представляет собой корень из среднего квадрата нормированной величины относительно нуля. Расчет производился с равными весами по всем 999 901 целому числу в диапазоне от 100 до 1 000 000. Показатель снизился примерно с 0,0069891 до 0,00136685 — ровно в 5,11 раза. Среднее арифметическое перед возведением в квадрат не вычиталось, поэтому данный метрический показатель отличается от классического стандартного отклонения. Улучшение относится ко всему массиву в целом; абсолютная величина ряби не обязана уменьшаться в каждой отдельной точке.

Остаточные колебания, разумеется, никуда не исчезли. Однако теперь стало предельно ясно, какие именно эффекты были исключены и с каким именно объектом мы продолжаем работать. [5, §9; 9]

Лестница, представшая во всей красе

Иногда к сути проблемы возвращал максимально простой вопрос: как выглядит сам счетчик? На графике ниже каждая пустота добавляет ровно одну ступень. Затем этим же адресам присваиваются веса, а из полученной суммы вычитается пройденная протяженность. Подобный подход позволяет проследить переход от дискретного подсчета простых чисел к сбалансированному взвешенному ряду.

Рисунок 7. Один и тот же набор пустот в четырех различных проекциях. Нижняя панель демонстрирует локальную рябь от фиксированной опоры 7 без нормировки; она отличается от глобальной величины с динамической границей $r=\lfloor\sqrt N\rfloor$ . На адресах 15 и 21 новые ступени отсутствуют, поскольку это точки пересечения уже учтенных теней. [10]

Непрерывный путь без обнуления на опорных точках

В дальнейшем потребовалось выйти далеко за пределы малых чисел. Первая масштабная попытка вновь оказалась неудачной из-за сравнения изолированных миров. Нам требовался единый непрерывный путь, чтобы накопленная разность не сбрасывалась при смене опорной точки. После устранения этого недочета мы объединили 29 последовательных переходов от 3 вплоть до 189 858 287 514 613. [10]

Обе шкалы отсчитывали нуль от опорной точки 3:

$H(N)=\pi(N)-2,\qquad L_3(N)=\int_3^N\frac{dx}{\ln x}.$

Здесь $\pi(N)$ обозначает количество простых чисел, не превосходящих , а вычитание двойки исключает простые числа 2 и 3. Разность накапливается по всему маршруту и не обнуляется при переходе к новой опорной точке.

Рисунок 8. Суммарный счетчик и логарифмический интеграл. На верхнем графике линии практически сливаются, тогда как на нижнем показана увеличенная картина накопленной разности. Представлены 3 783 рассчитанных среза; соединительные линии не отображают каждую отдельную ступень. Среднее значение вычислено по всей траектории непрерывного пути. [10]

В конечной точке набольшего диапазона значение счетчика после тройки равнялось 5 962 199 036 633. Разность составляла около −550 434,17, а ее среднее значение на всем протяжении пути равнялось −300 416,25. На фоне почти шести триллионов накопленных простых чисел относительное отклонение на финише составило порядка девяти миллионных долей процента. Его пренебрежимо малая величина отчетливо видна на верхнем графике, а ненулевое смещение — на нижнем.

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

Сближение дискретной лестницы с гладкой кривой

В качестве эталонной гладкой функции выступает логарифмический интеграл, отражающий накопление плотности $1/\ln x$ . Сама функция $\ln x$ здесь не выполняет роль счетчика; классическая теорема о распределении простых чисел лишь фиксирует согласие в главном масштабе, и в препринте мы использовали ее для строгой увязки нашего точного счетчика с интегралом. [5, §5; 3]

Затем к обеим распределениям был применен единый комплексный закон. Каждое простое число генерировало вектор с весом $n^{-s}$ , в то время как интегральная кривая суммировала аналогичные вклады непрерывным образом. Направление и амплитуда одной кривой никоим образом не подгонялись под другую. При фиксированном комплексном параметре с действительной частью меньше единицы нам удалось доказать, что отношение этих интегральных сумм стремится к единице. Таким образом дискретная лестница обрела плавный комплексный образ с тем же доминирующим порядком. [5, теорема 4]

Рисунок 9. Комплексное сопоставление из препринта (стр. 8). Бирюзовая линия отображает сумму по простым числам, рыжая — интеграл с идентичным комплексным ядром. На границе 1 000 003 векторы расходятся примерно на 0,936°, а их относительное различие составляет около 1,64%. [5]

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

Неожиданный нуль после замены эталона

Самый курьезный поворот в исследовании наметился под самый конец. Зачем мы постоянно измеряем точную лестницу гладкой линейкой, если уже построили счетчик напрямую из теней? Мы подставили этот счетчик на место интеграла в условие сравнения — и получили абсолютно нулевой остаток. Точный ноль для каждого допустимого адреса.

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

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

Гладкая функция при этом остается самостоятельным объектом. Для построения моста к гипотезе Римана необходима достаточно сильная глобальная оценка отклонения точного счета от логарифмического интеграла. Совпадение показаний двух точных приборов само по себе этой оценки не дает. Именно этот статус нулевого остатка зафиксирован в тексте препринта. [5, §8; 4]

Более сложная задача осталась нерешенной: установить верхнюю грань для полного отклонения при неограниченном росте аргумента. В терминологии препринта искомое условие выражается через ограниченность верхнего предела нормированного отклонения. Оно сформулировано обособленно и не выдается за автоматическое следствие точности счетчика или закона наследования покрытий. [5, §9]

Трудности поддержания «памяти» в диалоге с ИИ

Одним из самых утомительных аспектов работы оказалось поддержание контекста собеседником. Нередко ИИ блистательно разбирал новую формулу, но полностью терял ее связь с графической моделью, построенной несколькими часами ранее. Приходилось возвращать его по веткам диалога: заново искать «блины», вспоминать мир правил, сопоставлять спирали и открывать сохраненные дампы расчетов. Порой в памяти удерживалась целостная геометрическая картина, в то время как ассистент выдавал реакцию лишь на ее финальный фрагмент.

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

Единственным эффективным противоядием стала строгая фиксация результатов. Мы сохраняли определения, исходный код, полные дампы оконных ответов, графики и независимые верификации. Стало правилом указывать, где равенство является точным, где привлекается известная теорема, а где демонстрируется локальный эксперимент. Регулярные ссылки на конкретные файлы постепенно вытеснили фразу «это уже обсуждалось выше». Это помогло отсекать реальные программные ошибки и продолжать рассуждения с той точки, где они действительно останавливались.

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

Итоги проверки

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

Геометрические оси опираются на классическое разложение на множители, тени — на произведения и пересечения, а пустоты — на теорему о полноте покрытия. Мы объединили эти элементы в работающую модель с точным счетом и сохранением верифицированной зоны. Фундамент конструкции частично традиционен, поэтому степень новизлы программных решений еще предстоит оценить в сравнении с существующими аналогами. Зато теперь путь от числа до его тени, ступени счетчика и комплексного вклада можно проследить от начала до конца и воспроизвести в любой момент.

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

Часть 2. Как прошлые тени помогают обнаружить следующее простое число

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

В достаточно узком окне каждый оставшийся составной элемент имеет ровно два простых делителя, причем оба они превосходят $\sqrt p$ , где — текущая опорная точка. Меньший сомножитель не превышает $\sqrt{p+h}$ , а больший строго меньше $(p+h)/\sqrt p$ . Когда длина интервала мала по сравнению с , оба множителя концентрируются вблизи $\sqrt p$ . Эту область можно строго очертить, а количество дополнительных блокировок — ограничить аналитически.

Два адреса, уцелевшие после старых теней

p>Рассмотрим простое число 523 и заглянем вправо до отметки 541. Четные адреса отбросим сразу. Применим тени простых чисел 3, 5, 7, 11, 13, 17 и 19 — это исчерпывающий нечетный базис проверки вплоть до $\sqrt{523}$ . Из девяти нечетных адресов в рассматриваемом окне выживут лишь 529 и 541.

Рисунок 10. Базовый набор перекрывает семь из девяти адресов. Подключение оси 23 закрывает число . Адрес 541 остается свободным и становится следующим простым числом после 523. [11]

Простое число 23 давно известно науке. Понятие «новой оси» в данном контексте означает включение в текущий проверочный базис следующего элемента. Старый базис вплоть до $\sqrt{523}$ завершался числом 19; теперь мы расширяем его до 23.

Причины двучленной структуры составного остатка

Обозначим текущую опорную точку через . Рассмотрим интервал , где $p\ge5$ и $0<h\le p$ : левую границу исключаем, правую включаем. Он полностью лежит между и . На данном этапе рассуждения можно вести, начиная с любого простого числа, не прибегая к укрупнению шагов до вспышек. Пока мы задействуем исключительно базовый набор вплоть до $\sqrt p$ ; покрытие этого интервала старыми тенями еще может быть неполным.

Заблокируем все нечетные адреса, имеющие простые делители, не превосходящие $\sqrt p$ . Сохраним оставшиеся адреса и обозначим их количество как . Среди них могут присутствовать как истинно простые числа, так и составные, до которых старый базис еще не успел добраться.

Какова природа такого составного числа? Каждый его простой множитель строго больше $\sqrt p$ . Если бы простых множителей (с учетом возможных повторений) насчитывалось хотя бы три, произведение неизбежно превысило бы границы окна:

в разобранном примере.

$n=qr,\qquad \sqrt p<q\le r,\qquad qr\le p+h.$

Обозначим количество таких произведений через . Из общего числа уцелевших элементов необходимо вычесть ровно это количество составных адресов. В результате получаем точное равенство:

$\pi(p+h)-\pi(p)=V_p(h)-J_p(h).$

В левой части зафиксировано количество простых чисел в окне, а в правой — количество адресов после применения старых теней за вычетом дополнительных составных элементов. Каждое произведение учитывается ровно один раз благодаря условию $q\le r$ . Единственность разложения на простые множители исключает дублирование одного адреса различными парами.

Это строгое равенство справедливо для конкретного интервала; гладкие аппроксимации в него не входят. Однако само по себе оно еще не определяет, насколько большим окажется остаток в удаленных диапазонах. К данному вопросу мы вернемся после оценки потенциальных дополнительных блокировок.

Локализация областей генерации новых теней

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

$\sqrt p<q\le\sqrt{p+h},\qquad q\le r<\sqrt p+\frac h{\sqrt p}.$

При малой величине отношения эта зона тесно прилегает к $\sqrt p$ . Чем короче интервал относительно опорной точки, тем уже полоса допустимых меньших множителей. Именно они понадобятся в качестве дополнительных осей проверки.

Для наглядности визуализации возьмем более широкий крайний случай: окно от 523 до 1046, то есть . Наименьший нечетный множитель, способный выжить после просеивания старым базисом, равен 23. Каждая точка на графике соответствует отдельной паре сомножителей.

Рисунок 11. Для окна стандартный треугольный подсчет дает 42 пары. Гиперболическое ограничение сокращает это число до 33 нечетных пар. Из них лишь 9 состоят из простых чисел и действительно пополняют массив составных адресов. [11]

Треугольная область ограничивает число целочисленных пар. Гипербола отсекает избыточно крупные произведения, а проверка на простоту отсеивает неподходящие множители. Для гарантии обнаружения хотяลาย хотя бы одного простого числа подчас достаточно уже первой, более грубой оценки.

Емкость нового слоя

Подсчитаем точки треугольной области. Пусть — наименьшее нечетное целое число, строго превышающее $\sqrt p$ . Любые подходящие нечетные множители представимы в виде и , где $0\le i\le j$ . На время разрешим сомножителям быть составными — это лишь увеличит число кандидатов:

Последнее слагаемое неотрицательно. Из условия попадания произведения в исследуемое окно вытекает неравенство $i+j\le m$ , где — целая часть следующего выражения:

$m=\lfloor\frac{p+h-a^2}{2a}\rfloor,\qquad T_p(h)=\lfloor\frac{(m+2)^2}{4}\rfloor.$

Данная формула применяется при условии $p+h\ge a^2$ . Если правая граница окна еще не достигла , составных элементов среди уцелевших чисел нет, и . Количество точек вычисляется прямым подсбором целочисленных решений $0\le i\le j$ , $i+j\le m$ . При четном их число равно , а при нечетном — .

Поскольку $m<h/(2\sqrt p)$ . Подставляя это выражение, получаем искомую верхнюю границу:

$J_p(h)\le T_p(h)\le \frac{h^2}{16p}+\frac{h}{2\sqrt p}+1.$

Теперь сопоставим емкость нового слоя с сохранившимся остатком. Если адресов осталось больше, чем этот слой способен заблокировать, по крайней мере один из них гарантированно является простым числом:

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

Те же адреса на комплексной спирали

Здесь вновь вступает в силу комплексная спираль из первой части. Перейдем к логарифмам множителей относительно $\sqrt p$ , обозначив эти координаты как $\alpha$ и $\beta$ . Условие на произведение трансформируется в ограничение на сумму:

$\alpha=\ln\frac q{\sqrt p},\quad\beta=\ln\frac r{\sqrt p},\quad 0<\alpha\le\beta,\quad\alpha+\beta\le\ln\!\left(1+\frac hp\right).$

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

Рисунок 12. Окно . Слева показан точный треугольник в логарифмических координатах и пара . Справа — тот же адрес 529 на относительной комплексной спирали вблизи простого числа 541. Для наглядности выбран параметр $s=\tfrac12+20i$ . [11]

$z_s(n)=n^{-s},\qquad \frac{z_s(qr)}{z_s(p)}=e^{-s(\alpha+\beta)}.$

Зафиксируем параметр $s=\sigma+it$ с условием $n^{-s}$ строго монотонно убывает, обеспечивая надежную различимость адресов. При стремлении отношения $h/p\to0$ рассматриваемый фрагмент относительной спирали сжимается в единичную точку.

Спираль наглядно иллюстрирует пространственное распределение адресов, тогда как доказанный комбинаторный подсчет определяет предельное число дополнительных блокировок. Это две взаимодополняющие проекции одних и тех же чисел. Для практических вычислений мы по-прежнему храним целые адреса: геометрическая визуализация на комплексной плоскости не заменяет алгоритмическую память.

Значение для последующих шагов

Практический смысл полученных выводов формулируется без привлечения комплексного анализа. Программа применяет старый базис к новому окну и фиксирует остаток . Для устранения содержащихся в нем составных элементов достаточно дополнительных простых осей, лежащих в полосе $(\sqrt p,\sqrt{p+h}]$ : именно здесь сосредоточен меньший множитель каждого оставшегося составного числа. Больший множитель может выходить за пределы этой зоны, поэтому отдельная проверочная ось для него не требуется.

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

Особый интерес представляет интервал длины $h=\lfloor c\sqrt p\ln p\rfloor$ , где — фиксированная положительная константа. Для достаточно больших оно удовлетворяет условию $h\le p$ . Из нашей оценки непосредственно следует:

$J_p(h)\le\frac{c^2}{16}\ln^2p+\frac c2\ln p+1.$

По мере роста опорной точки число дополнительных блокировок ограничивается величиной порядка $(\ln p)^2$ , в то время как ширина полосы новых проверочных осей не превышает $(c/2)\ln p$ . Таков количественный результат редукции остатка. Он ограничивает число новых составных элементов после применения базового набора, однако трудоемкость получения самого остатка сюда не входит.

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

в настоящий момент не существует. Нами доказаны структура остатка и верхняя граница дополнительных блокировок, а условие $\sqrt p\ln p$ . [2] Наш безусловный результат описывает дополнительные блокировки ровно на этом масштабном уровне. Из этой взаимосвязи нельзя автоматически заключить, что доказательство оценки промежутков само по себе приведет к доказательству гипотезы Римана.

Верификация и результаты расчетов

Полученные формулы были протестированы с помощью специализированной программы на 548 простых опорных точках в диапазоне от 5 до 3989. Для каждой опоры исследовались интервалы вплоть до . Проверка тождеств выполнялась на двух граничных срезах и на всех срезах с простым правым концом, составив в сумме 124 603 контрольные точки. [11]

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

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

Предложенная конструкция имеет классических предшественников. В методах Мейсселя — Лемера на этапе частичного просеивания выделяется поправка , учитывающая числа с двумя простыми множителями, еще не затронутыми базисом. [1] Равенство представляет собой локальную интерпретацию этого разложения. Концепция миров позволяет наглядно увидеть зоны зарождения подобных произведений вблизи текущего значения , оценить их количество и определить объем данных, подлежащих сохранению для следующего окна.

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

Вся миниатюрная драма укладывается в промежуток между 523 и 541. Старые тени оставили два адреса. Новый слой мог забрать один — и заблокировал 529. Остался 541. За этой лаконичной графической схемой скрывается закономерность, которую можно доказать, воплотить в коде и проверить на практике, чтобы с уверенностью сделать следующий шаг.

Источники, данные и происхождение иллюстраций

Математическая литература

[1] J. C. Lagarias, V. S. Miller, A. M. Odlyzko. Computing π(x): The Meissel–Lehmer Method. Mathematics of Computation, 44, № 170 (1985), с. 537–560. Разложение частичного решета и член P₂: § 2, формулы (2.1)–(2.3). Во второй части статьи используется для сопоставления тождества V − J с классическим подходом. DOI: 10.1090/S0025-5718-1985-0777285-5 · Авторская версия (PDF)

[2] A. W. Dudek. On the Riemann Hypothesis and the Difference Between Primes. arXiv:1402.6417, версия 2, 20 мая 2014 г. Условная оценка интервалов между простыми в масштабе √p ln p в предположении гипотезы Римана; связь обсуждается во второй части. arXiv:1402.6417v2

[3] NIST Digital Library of Mathematical Functions. § 27.2, формула 27.2.3. Теорема о распределении простых чисел: π(x) ∼ x / ln x. В первой части применяется для согласования доминирующего порядка точного счетчика и логарифмического интеграла. DLMF, формула 27.2.3

[4] NIST Digital Library of Mathematical Functions. § 27.12, формула 27.12.7. Критерий гипотезы Римана через отклонение π(x) от li(x). На этот критерий опирается дискуссия о нулевом остатке в первой части. DLMF, формула 27.12.7

Теория и программное обеспечение

[5] Вадим. Простые числа в растущих мирах. Точный счетчик, логарифмическая асимптотика и комплексное представление. Препринт, версия 0.1, 12 октября 2026 г., 10 с. Файл prime_worlds_preprint_ru.pdf. Теоремы 1–3: покрытие, преемственность, счетчик; § 4.1: бенчмарк алгоритмов; § 5 и теорема 4: асимптотика; § 8: статус замены интеграла; § 9: рябь и условие глобальной оценки. Рисунок 9 соответствует рисунку 3 препринта (стр. 8).

[6] Вадим. Многомерные пространства, тени и миры вспышек: воспроизводимый исследовательский пакет. Версия 1.0.0, 10 октября 2026 г. Теоретическая база, оптимизированное ядро, бенчмарки, эксперимент с 3P − 82 и спецификация ресурсов: README.md; docs/FAST_ENGINE.md; data/benchmark_original.json; data/benchmark_rerun.json; data/record_original.json; data/resources.json. Рисунки 1–2 — авторские иллюстрации из пакета world_birth_explainer_2026_10_11: 01_prime_axes_and_layers.png и 02_shadows_and_next_flash.png. Репозиторий на GitHub

[7] Архивы оптимизации. THEORY_RU.txt и REFINEMENT_RULES_RU.txt; «Анализ времени и повторного восстановления адресов» — flash_timing_findings_ru.txt; «Обновленные результаты прямого доступа» — UPDATED_RESEARCH_RU.txt; RUN_ABSORPTION_RU.txt. Первоисточники фрагментов первой части, посвященных повторному извлечению адресов, прямому доступу, правилам уточнения и подготовке остатка.

Численные данные и иллюстрации

[8] Опорные волны и преемственность. Рисунки 3–4: cycle_probe_work/visual_qa/chart-736.svg; spiral_inheritance_2026_10_11/01_inherited_shadows_on_spiral.png. Проверка смешанных вкладов: q_spiral_visuals_20261012/mixed_counter_comparison.json. 29 миров от 3 до 113, 16 514 послойных проверок; расхождений в работе счетчика не выявлено.

[9] Рябь и нормализация. Рисунки 5–6: ripple_visual_work/03_ripple_bound.png; ripple_straightening_work/ripple_known_correction.png. Исходные данные: ripple_straightening_work/straightening_values.json. Проверка на целых N от 100 до 1 000 000; пятикратное уменьшение (в 5,11 раза) относится к RMS нормированной ряби на указанном интервале.

[10] Счетчик и масштабный расчет. Рисунки 7–8: counter_steps_20261012/counter_world_7.png; large_counter_20261012/cumulative_counter_overview.png. В том же каталоге large_counter_20261012: cumulative_counter_results.json и cumulative_independent_check.json. Конечная граница — 189 858 287 514 613; 29 переходов, 30 опорных точек, 3 783 визуализированных среза. Значение счетчика после 3: H = π − 2. Интегральное среднее отклонение вычислено по всей траектории.

[11] Верификация и иллюстрации ко второй части. Каталог habr_next_axis_addendum_20261012/output: скрипт verify_next_axis.py; параметры и описание выборки — verification.json. Команда запуска: python verify_next_axis.py —max-prime 4000. Протестированы 548 простых опорных точек от 5 до 3989 и 124 603 отдельных среза. Рисунки 10–12: 01_coverage_523.png, 02_triangle_budget.png, 03_log_spiral.png в папке habr_next_axis_addendum_20261012/figures (доступны также в формате SVG). Графики построены строго по аналитическим формулам и целочисленным координатам.

Примечания об иллюстрациях и материалах

Первая часть описывает этапы разработки в период с 7 по 12 октября 2026 года. Иллюстрации 1–9 заимствованы из сохраненных рабочих дампов. Для второй части подготовлен автономный скрипт проверки, лог результатов и графики 10–12 [11]. Концепция, формулировки задач и руководство — Вадим. Искусственный интеллект привлекался для программирования, расчетов, синтаксического контроля формул и редакционной подготовки текста.

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

Источник