Гипотеза простых близнецов и «ментальный сдвиг»

«В последние месяцы успехи искусственного интеллекта в решении крупных математических проблем всё чаще становятся новостями далеко за пределами профессионального математического сообщества. Но решение задач — это лишь средство и косвенный показатель продвижения к более глубокой цели: концептуальному пониманию и появлению новых идей. Если в мире ИИ об этой цели забыть, средство способно начать разрушать то, чему оно должно было служить. Массовое производство всё новых утверждений и ответов — «истинно» или «ложно», «доказано» или «опровергнуто» — с постоянно возрастающей скоростью может не обогатить математическую почву, а, напротив, истощить её прежде, чем на ней успеют возникнуть новые идеи.» /11 сентября 2026. Декларация 25 филдсовских лауреатов[1]/

Одна из таких задач — Гипотеза простых чисел-близнецов[2]. Подробности гонки за ее доказательством описывает Science News[3]. Заявлено, что искусственный интеллект обошел людей и улучшил до 186 рекорд для bounded gap between primes (предыдущее достижение было 246 — проект Polymath, 2014 год). Но это не настоящий финиш. И уж тем более, ничего не добавилось к пониманию проблемы. Общепризнано, что необходимы принципиально новые идеи.

Из ответа Google: «Итог: Консенсус в академической среде однозначен — чтобы превратить уменьшающийся интервал (будь то 246 или 186) в честную двойку, математическому сообществу нужен качественный ментальный сдвиг и абсолютно новые структуры, а не просто мощные суперкомпьютеры и оптимизация старых формул.»

Между тем, вожделенный новый подход уже найден (без участия ИИ), препринт опубликован 24 августа 2026. Его отправная идея отражена в названии «Через бесконечные покрытия к доказательству Гипотезы простых близнецов и подобных»
https://www.academia.edu/172303056 (ru)
https://www.academia.edu/172303464 (en)

Вскрытие простых близнецов

Суть подхода можно передать с помощью одного рисунка из статьи.

В таблице выше представлены:

— все нечетные числа (начиная с 3) в виде лестницы из триплетов с периодом 6, цветом выделены кандидаты в простые близнецы (пары чисел вида 6n±1), факты их делимости разнесены по ячейкам соответствующих строк с соблюдением цвета;

— все факты делимости для кандидатов в простые близнецы укладываются (вследствие модульной арифметики) в набор арифметических прогрессий, составляющих полное бесконечное покрытие[4] натуральных чисел (по две прогрессии в каждом столбце, по сути двойное решето Эйлера[5]), в сокращенной записи {5k+1, 5k+4, 7k+1, 7k+6, 11k+2, 11k+9, 13k+2, 13k+11, …};

— для примера рамкой выделена одна из активных областей, лежащая между квадратами двух последовательных простых чисел p=7 и q=11, благодаря чему фиксируется набор активных младших делителей (в данном случае 5 и 7);

— каждая такая активная область является некоторым фрагментом бесконечной периодической структуры, которая есть результат наложения арифметических прогрессий покрытия с взаимно простыми разностями (в примере 5 и 7);

— каждая такая структура по определению «дырява» (простое следствие комбинаторики): каждый раз, когда внутри рамки невыделенные ячейки (пустоты) выстраиваются в полный ряд (канал), в соответствующей строке находится пара простых близнецов (в примере 4 канала и 4 пары близнецов 59_61, 71_73, 101_103, 107_109);

— нетрудно убедиться, что ширина любой активной области, т.е. интервал (в масштабе покрытия) между квадратами двух последовательных простых чисел (q^2−p^2)/6 — это линейная функция (точнее, веер линейных функций из-за неодинаковых промежутков между простыми числами) числа p;

— то, что увидеть не получится, но можно доказать: обратная средняя плотность каналов в такой периодической структуре, т.е. среднее расстояние между каналами — это логарифмическая (порядка log^2), а главное — вогнутая функция (вторая производная отрицательна) того же простого числа p.

Отсюда уже нетрудно понять, почему Гипотеза простых близнецов верна. Это следствие сочетания линейности с вогнутостью, из-за чего интервал между квадратами растет быстрее, чем среднее расстояние между каналами, что в асимптотике p→∞ неизбежно ведет к бесконечному числу простых близнецов. Вопрос флуктуаций плотности каналов оставим за кадром для простоты объяснения.

Разобраться с простыми близнецами удалось благодаря правильной концептуализации проблемы. Но это еще не всё — предложенный подход универсален. Он объясняет, почему бесконечны любые периодические паттерны простых чисел: близнецы и далее любые допустимые триплеты, квадруплеты и пр. Важное замечание (для погруженных в тему): «выживает» именно периодический паттерн, а не произвольный допустимый k-кортеж, являющийся смесью паттернов.

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

Необходимое послесловие

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

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

Причем, это второй подобный кейс. Другая гипотеза с неудачной судьбой, не столь значимая, но тоже из списка открытых проблем, — гипотеза Коллатца. Ее популярному объяснению была посвящена предыдущая статья на Хабре «Гипотеза Коллатца как фейл мировой математики (окончание)»
https://habr.com/ru/articles/953470/

Не будучи внутри математического сообщества, невозможно судить о причинах ситуации. А теперь уже не до того, потому что вторжение ИИ на передний край математической науки переворачивает всё. Решение открытых проблем без помощи искусственного интеллекта уходит в прошлое. Может случиться, что близнецы были последними…

Ссылки:
[1] https://mathandai.org/multilingual.php?lang=ru
[2] https://en.wikipedia.org/wiki/Twin_prime
[3] https://www.sciencenews.org/article/human-math-record-twin-primes-openai
[4] https://en.wikipedia.org/wiki/Covering_system
[5] https://en.wikipedia.org/wiki/Sieve_of_Eratosthenes