Квазигипотеза Римана и две версии ИИ-доказательства

Квазигипотеза Римана и две версии ИИ-доказательства Что даст сужение области, где могут находиться нули дзета-функции? Среди 377 результатов, объявленных OpenAI 6 октября 2026 года, заявлено доказательство квазигипотезы Римана. Оно обещает существенный прогресс в изучении простых чисел, но не решает полную гипотезу. Дзета-функцию вводят через ряд ζ(s) = 1 + 1/2^s + 1/3^s + …, затем расширяют область её определения математическим продолжением. Комплексный аргумент s изображают точкой плоскости; Re(s) обозначает его действительную часть. Нули функции — значения s, при которых ζ(s) = 0. Помимо тривиальных нулей −2, −4, −6, … есть нетривиальные. Гипотеза Римана помещает их все на вертикальную прямую Re(s) = 1/2. Почему это важно для арифметики? Простые числа в среднем встречаются всё реже, а расположение нулей связано с законом этого разрежения. В 1896 году исключение нулей на границах полосы между 0 и 1 позволило доказать теорему о распределении простых чисел. Полная гипотеза Римана дала бы строгий контроль над отклонениями от предсказываемого ею среднего поведения. Вычисления подтвердили положение первых 12 триллионов нетривиальных нулей на прямой 1/2. Но конечная проверка не доказывает утверждения обо всех нулях. Квазигипотеза требует заключить все нетривиальные нули в единую полосу, более узкую, чем полоса между 0 и 1. Чем она уже, тем больше можно сказать о распределении простых чисел. Полоса всё ещё допускает нули вне средней прямой, поэтому до полной гипотезы остаётся принципиальный шаг. У заявленного доказательства две версии. Работа от 30 сентября 2026 года занимает 199 страниц и заявляет границы между 1/8 и 7/8. По сообщению Quanta, она формально проверена в Lean. Версия от 5 октября занимает 49 страниц и заявляет более слабый результат, 1/12 < Re(s) < 11/12. Формальной проверки у неё пока нет. Первая полоса уже второй; меньший объём второй работы не означает более сильной оценки. Александр Данн описывает доказательство как неожиданное соединение известных идей. Оно использует, в частности, техники Радзивилла и Данна. При этом Максим Радзивилл резко критикует ясность обеих работ. Исследователи сосредоточились на короткой версии, которая, по предварительной оценке, использует сходные техники и имеет сходные последствия. Аргумент изучают Питер Сарнак, Радзивилл и Данн. Радзивилл изложил основную идею короткой работы примерно на половине страницы, но проверка деталей продолжается. Если результат подтвердится, он позволит доказать множество утверждений, прежде зависевших от гипотезы Римана. Сама полная гипотеза остаётся открытой. Наши каналы MAX · Telegram · Дзен #ТеорияЧисел #ГипотезаРимана #ПростыеЧисла #Доказательства