Актуальный контекст
«В последние месяцы успехи искусственного интеллекта в решении крупных математических проблем всё чаще становятся новостями далеко за пределами профессионального математического сообщества. Но решение задач — это лишь средство и косвенный показатель продвижения к более глубокой цели: концептуальному пониманию и появлению новых идей. Если в мире ИИ об этой цели забыть, средство способно начать разрушать то, чему оно должно было служить. Массовое производство всё новых утверждений и ответов — „истинно“ или „ложно“, „доказано“ или „опровергнуто“ — с постоянно возрастающей скоростью может не обогатить математическую почву, а, напротив, истощить её прежде, чем на ней успеют возникнуть новые идеи.» /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: «Простые числа часто кажутся математикам и любителям науки загадочными, непредсказуемыми и хаотичными, но в то же время фундаментальными и гармоничными.»
Представленный подход демистифицирует простые числа, предлагая адекватную модель их устройства без использования сложной математики. А почему должен быть сложен базовый математический объект? Скорее, наоборот. Поэтому удивительно, как Гипотеза простых близнецов до сих пор остается открытой математической проблемой?..
Причем, это второй подобный кейс. Другая гипотеза с неудачной судьбой, не столь значимая, но тоже из списка открытых проблем, — гипотеза Коллатца. Ее популярному объяснению была посвящена предыдущая статья на Хабре «Гипотеза Коллатца как фейл мировой математики (окончание)».
Не будучи внутри математического сообщества, невозможно судить о причинах ситуации. А теперь уже не до того, потому что вторжение ИИ на передний край математической науки переворачивает всё. Решение открытых проблем без помощи искусственного интеллекта уходит в прошлое. Может случиться, что близнецы были последними…
Ссылки:
[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
Комментарии (17)
Seraphimt
03.10.2026 20:57А почему должен быть сложен базовый математический объект?
А почему(и кому) он должен быть прост?
wataru
03.10.2026 20:57Я правильно понимаю, что academia.edu, это типа arXiv, куда выкладывается что угодно без какого-либо ревью?
Похоже, это очередное гадание на картинках. Рисуем таблицу, красиво раскрашиваем, замечаем какую-то закономерность и считаем все доказанным. При том что ничего на самом деле не доказано. Закономерность надо математически обосновать, даже очень большой красивой таблицы не достаточно.
Ваше доказательство основано на каких-то неопределенных эфимерных понятиях, вроде "дырявости" и "каналов".
mbok Автор
03.10.2026 20:57Текст рассчитан на мыслящего читателя, которому не надо объяснять тривиальные промежуточные утверждения и прямые логические переходы. Кроме того, математика - это не только формальный метод, который в случае Гипотезы простых близнецов НЕ ПРИВЕЛ К УСПЕХУ. Есть еще метод Mathematical Reasoning, в данном случае на этапе осмысления проблемы и поиска правильной концептуализации он работает лучше. Поэтому в статье мало формул, только самый необходимый минимум.
ddinsights
03.10.2026 20:57Ваши «покрытия» — описание двойного решета, что вы сами отмечаете. Новые термины сами по себе ещё не означают нового способа решения.
Из средней плотности каналов не следует их наличие в нужных интервалах. Для этого вы вводите дополнительное предположение о флуктуациях. Оно может оказаться верным или ложным — расчёт средней плотности этого не устанавливает.
Поэтому профессиональным математикам вы оставляете не оформление готового решения, а обоснование ключевого перехода, без которого неизвестно, работает ли ваш подход вообще. Называть его уже найденным «правильным подходом» — значит заранее объявлять успешным именно тот шаг, который ещё предстоит сделать.
mbok Автор
03.10.2026 20:57Подход работает уже в том смысле, что теперь всё стало понятно. Для строгого завершения ГПБ есть два пути: 1) через свойства функции плотности каналов, 2) через частотность достаточно больших интервалов (многое про них известно). Оба прямо ведут к цели. При этом не нужно доказывать наличие каналов к близнецам в каждом интервале, достаточно и какой-то части, причем в асимптотике больших простых p.
Относительно вашего сомнения в успехе. Функция плотности каналов (типа частичных эйлеровых произведений) ведет себя НЕаномально в том смысле, что расстояние до первого и любого канала колеблется вокруг среднего расстояния между каналами. В этом убеждает отсутствие контрпримера даже к гипотезе Оппермана, в которой интервал минимален, что указывает на малость флуктуаций плотности каналов. (Гипотеза Оппермана: для каждого n≥2 между n(n−1) и n^2 найдется как минимум одно простое число, и по крайней мере еще одно простое число - между n^2 и n(n+1).)
ddinsights
03.10.2026 20:57Да, достаточно бесконечно многих подходящих интервалов, а не всех. Но именно их существование вы и не доказали. Средняя плотность по периоду не гарантирует попадания каналов в нужные интервалы. Наличие сколь угодно больших интервалов тоже недостаточно: нужно доказать, что они превышают расстояние до канала при тех же значениях. В §6 необходимое свойство флуктуаций вы прямо вводите как допущение, а не выводите из устройства решета.
Гипотеза Оппермана утверждает наличие отдельных простых в заданных интервалах, а не пар с разностью 2. Даже при её истинности переход к нужной оценке для двойного решета требует отдельного доказательства. Отсутствие найденных контрпримеров такого доказательства не заменяет.
Поэтому пока показано не «оба пути ведут к цели», а «цель будет достигнута, если удастся доказать одно из дополнительных утверждений». Не доказано именно то, что отличало бы работающий подход от правдоподобной эвристики.
Кратко:
«Настоящим математикам» вы оставляете не наведение строгости, а выяснение, верна ли вообще ключевая предпосылка вашего рассуждения. «Подход сработает, если удастся доказать моё предположение» и «подход работает» принципиально разные утверждения. Вы подменяете первое вторым, а возражения против этой подмены называете «сомнением в успехе»mbok Автор
03.10.2026 20:57По вашим комментам понятно, Вы не отрицаете, что в статье Гипотеза простых близнецов доказана неизвестным ранее способом при одном допущении, которое я оцениваю как слабое. Это прогресс, математики часто дают доказательства с теми или иными допущениями. Для ГПБ таких достижений до сих пор не было.
Чувствуется, что вы настоящий математик. Это у вас (НЕ лично, а как сообщества) должны были бы быть идеи. Но почему-то их нет или они исчерпались. Сравнимое по ясности понимание отсутствует в принципе. При этом декларируемая цель деятельности математиков “концептуальное понимание и появление новых идей” - возвращаю вас к цитатам из начала текста на Хабре. Вы не согласны с филдсовскими лауреатами?
ddinsights
03.10.2026 20:57Не приписывайте мне признание того, что я оспариваю. Ни новизну, ни корректность вашего условного доказательства я не подтверждал.
«Для ГПБ таких достижений до сих пор не было» фактически неверно. Например, Янош Пинц в работе Are there arbitrarily long arithmetic progressions in the sequence of twin primes? II (Труды МИАН, 2012, т. 276, с. 227–232) доказывает бесконечность близнецов при предположениях о распределении простых и связанных с функцией Лиувилля последовательностей. Прежде чем объявлять первенство, стоит проверить литературу.
Условные доказательства действительно могут быть прогрессом. Но количество допущений не измеряет величину оставшейся проблемы: всю трудность можно упаковать в одно утверждение. Назвать недоказанную оценку флуктуаций «одним допущением» не значит приблизиться к её доказательству. Именно содержательность и новизну вашего перехода вам и требуется показать, а не объявить установленными.
Ссылка на филдсовских лауреатов тоже ничего не спасает. Из «математике нужны новые идеи» не следует «ваша идея новая и плодотворная». Возражение против вашей самооценки не является возражением против лауреатов. Вы опять подменяете обсуждение конкретного пробела разговорами о величии замысла и несостоятельности математического сообщества.
пс: нет я не настоящий математик. просто я математику люблю и уважаю, а дилетантов - нетmbok Автор
03.10.2026 20:57Меня не интересует первенство. Ваша критика касается только одного - сделанного допущения. Вы не оспариваете само доказательство.
"Возражение против вашей самооценки" - это и есть причина вашего неприятия. Но это не довод для математической дискуссии по содержанию.
ddinsights
03.10.2026 20:57в доказательстве есть исправимые ошибки касаемые вогнутости
допущение не доказано и ниоткуда естественным образом не выводится. требовать доказательства допущения значит требовать доказательства самой гипотезы.
то что верное доказательство или опровержение гипотезы будет вестисьь от вашего допущением - также не доказано. навскидку - нет такого не будет, обычно такие вещи значительно сложнее работают
slepmog
03.10.2026 20:57https://www.youtube.com/watch?v=djzKCZHeVjY
Yet I get cranked proofs every day.
They always start the same damn way:
"To count the twin primes all you do,
is list the numbers all the way through,
reducing all of them modulo 2…"
… Hey, you oughta leave that proof alone!
There ain’t no chance that’s how its’ shown.
When you start so trivially,
Like with the sieve of Eratosthenes,
Chances are high you went wrong,
It’s been open so damn long,
Someone else would have found such a way.
You wanna prove twin primes, go on,
You wanna be the next Yitang Zhang,
Maybe read what researchers say.
artptr86
Отлично. Вот что нам говорит ChatGPT:
mbok Автор
Отлично. Есть еще над чем поработать профессиональным математикам. Осталось почти ничего. Расстояние между каналами колеблется вокруг среднего значения. И расстояние до первого канала тоже. Это неоспоримый факт. А в статье есть оговорка о сделанном допущении. Но ChatGPT не настолько умен, чтобы заметить такие нюансы.
artptr86
Вы доказали этот «неоспоримый факт»?
mbok Автор
Я оставил его профессионалам. Так же как противоположный заход со стороны больших интервалов. Мое дело - предложить правильный подход, тот самый ментальный сдвиг, а строгость пусть наводят математики. В их успехе я (почти) не сомневаюсь.
ThisMan
Сочувствую тем математикам, которые за это возьмутся… а стоп, никто за это не возьмется
artptr86
А был ли этот ментальный сдвиг? Математики давно изучают распределение простых чисел, просеивание и промежутки между элементами просеянных множеств. В том числе Теренс Тао с коллегами строго доказал, что в определённых просеянных множествах могут быть достаточно длинные промежутки.