Знаменитый британский математик Майкл Атья, профессор Оксфордского, Кембриджского и Эдинбургского институтов и лауреат почти десятка престижных премий в области математики, представил доказательство гипотезы , одной из «задач тысячелетия». Доказательство занимает всего 15 строк, а вместе с введением и списком литературы — пять страниц. Текст Атья выложил на сервисе Drive.

Гипотеза о распределении нулей дзета-функции Римана была сформулирована математиком Бернхардом Риманом в 1859 году.

Она описывает, как расположены на числовой прямой простые числа.

В то время как не найдено какой-либо закономерности, описывающей распределение простых чисел среди натуральных, Риман обнаружил, что количество простых чисел, не превосходящих x, — функция распределения простых чисел, обозначаемая π(x) — выражается через распределение так называемых «нетривиальных нулей» дзета-функции.

Гипотеза Римана утверждает, что все нетривиальные нули дзета-функции лежат на вертикальной линии Re=0,5 комплексной плоскости. Гипотеза Римана важна не только для чистой математики — дзета-функция постоянно всплывает в практических задачах, связанных с простыми числами, например, в криптографии.

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

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

Если доказательство будет подтверждено, Атья получит награду.

Математический институт Клэя объявил о своем решении отдать премию Перельману 19 марта 2010 года. Работы, за которые математик удостоился награды, были написаны им в 2002 году, причем они были выложены в архив электронных препринтов, а не напечатаны в рецензируемом научном журнале. В своих выкладках Перельман завершил доказательство гипотезы геометризации Терстона, которая прямо связана с гипотезой Пуанкаре.

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

В 2014 году математик из Казахстана Мухтарбай Отелбаев , что решил еще одну из «задач тысячелетия» — нашел условия системы уравнений Навье — Стокса, при которых для каждого набора параметров имеется единственное решение. Уравнения Навье — Стокса — система дифференциальных уравнений в частных производных, описывающая движение вязкой ньютоновской жидкости. Уравнения Навье — Стокса являются одними из важнейших в гидродинамике и применяются в математическом моделировании многих природных явлений и технических задач.

Для того чтобы признать решение Отелбаева верным, научное сообщество должно его проверить. Пока что результаты проверки неизвестны.

В 2010 году американский математик индийского происхождения Винай Деолаликар , что решил еще одну из задач тысячелетия — нашел доказательство неравенства классов сложности P и NP.

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

Данных о том, что научное сообщество признало доказательство верным, пока что нет.

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

В 1859 году немецкий математик Бернхард Риман взял давнюю идею Эйлера и развил ее совершенно по-новому, определив так называемую дзета-функцию. Одним из результатов этой работы стала точная формула для количества простых чисел до заданного предела. Формула представляла собой бесконечную сумму, но специалистам по анализу к этому не привыкать. И это не было бесполезной игрой ума: благодаря этой формуле удалось получить новые подлинные знания о мире простых чисел. Мешала только одна маленькая неувязка. Хотя Риман мог доказать, что его формула точна, самые важные потенциальные следствия из нее полностью зависели от одного простого утверждения, касающегося дзета-функции, и вот это то простое утверждение Риман никак не мог доказать. И сегодня, полтора столетия спустя, мы все еще не сумели сделать это. Сегодня это утверждение называется гипотезой Римана и представляет собой, по сути, священный Грааль чистой математики.

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

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

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

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

В 1859 году Риман собрал все свои мысли о дзета-функции в одну статью, заголовок которой можно перевести как «О количестве простых чисел, не превышающих заданной величины». В ней он привел полную и точную формулу . Я опишу более простую формулу, эквивалентную римановой, чтобы показать, как появляются нули дзета-функции. Идея заключается в том, чтобы подсчитать, сколько простых чисел, или степеней простых чисел, укладывается до любого заданного предела. Однако вместо того чтобы сосчитать каждое число по одному разу, как функция делает с простыми числами, мы придаем большим простым числам дополнительный вес. Более того, любая степень простого числа учитывается в соответствии с логарифмом этого простого числа. Так, для предела мы имеем следующие степени простых чисел:

Поэтому взвешенный подсчет дает

Что составляет примерно .

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

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

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

Почему нули дзета-функции так важны? Одна из базовых теорем комплексного анализа утверждает, что при некоторых формальных условиях функция комплексной переменной полностью определяется значениями переменной, при которых функция равна нулю или бесконечности, плюс некоторая дополнительная информация о поведении функции в этих точках. Эти особые точки известны как нули и полюсы функции. В действительном анализе эта теорема не работает - и это одна из причин, по которым комплексный анализ завое­вал такую популярность, несмотря на необходимость извлекать корень квадратный из . У дзета-функции один полюс (при ), так что все ее характеристики определяются нулями (если, конечно, не забывать о существовании этого единственного полюса).

Для удобства Риман работал в основном с зависимой кси-функцией , которая тесно связана с дзета-функцией и получается из метода аналитического продолжения. Он заметил:

«Весьма вероятно, что все [нули кси-функции] действительны. Хотелось бы, конечно, иметь строгое доказательство этого факта, но после нескольких бесплодных попыток я отложил поиск такого доказательства, поскольку этого не требуется для непосредственных целей моего исследования».

Это заявление о кси-функции эквивалентно аналогичному заявлению о зависимой от нее дзета-функции. А именно: все нетривиальные нули дзета-функции представляют собой комплексные числа вида: они лежат на критической линии «действительная часть равна » (см. рис.). Эта версия замечания и есть знаменитая гипотеза Римана.

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

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

Риман так и не довел свою программу до логического конца. Более того, он никогда больше ничего не писал по этому вопросу.

Но два других математика, приняв у него эстафету, показали, что догадка Римана верна. В 1896 году Жак Адамар и Шарль-Жан де ла Валле Пуссен независимо друг от друга вывели теорему о распределении простых чисел, доказав, что все нетривиальные нули дзета-функции лежат в пределах критической полосы. Доказательства у обоих получились очень сложными и техничными, но тем не менее свою задачу они выполнили. Возникла новая мощная область математики - аналитическая теория чисел. Применение ей нашлось в самых разных уголках теории чисел: с ее помощью решали давние задачи и выявляли новые закономерности. Другие математики позже нашли несколько более простых доказательств теоремы о числе простых, а Атле Сельберг и Пал Эрдеш открыли даже очень сложное доказательство, вовсе не требовавшее применения комплексного анализа. Но к тому моменту при помощи идеи Римана было доказано бесчисленное множество важных теорем, включая аппроксимации многих функций теории чисел. Так что это новое доказательство хоть и добавило в эту историю каплю иронии, но ни на что, в сущности, не повлияло. В 1980 году Дональд Ньюман нашел гораздо более простое доказательство, для которого достаточно оказалось всего лишь одной из самых базовых теорем комплексного анализа - теоремы Коши.

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

Одно из важнейших следствий - это величина погрешности в теореме о распределении простых чисел. Теорема, как вы помните, утверждает, что для большого отношение к приближается к , причем чем дальше, тем сильнее. Иными словами, разница между двумя функциями снижается до нуля относительно величины x. Однако реальная разница при этом может расти (и растет). Просто она делает это медленнее, чем растет сам . Компьютерные расчеты позволяют предположить, что величина погрешности примерно пропорциональна . Если гипотеза Римана верна, это утверждение можно доказать. В 1901 году Хельге фон Кох доказал, что гипотеза Римана логически эквивалентна оценке

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

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

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

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

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

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

Прочерки указывают на то, что соответствующее число не простое.

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

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

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

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

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

Для некоторых видов доказать, что простых чисел такого вида существует бесконечно много, совсем несложно. Для других видов требуются более изощренные рассуждения. Но до середины XIX века никому не удавалось доказать, что существует бесконечно много простых чисел каждого возможного вида, не говоря уже о том, чтобы доказать их более или менее равномерное распределение. Лагранж в 1785 году в работе, посвященной закону квадратичной взаимности - глубокому свойству квадратов простых модулей, - принимал этот факт без доказательства. Результаты дали очевидно полезные следствия, и пора было кому-нибудь это доказать. В 1837 году Дирихле выяснил, как применить идеи Эйлера, связанные с теоремой о распределении простых чисел, для доказательства обоих этих утверждений. Первым делом следовало определить аналоги дзета-функции для этих типов простых чисел. То, что получилось, называется -функциями Дирихле. К примеру, в случае возникает следующая функция:

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

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

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

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

Если обобщенная гипотеза Римана верна, то верна и обычная его гипотеза. Многие следствия обобщенной гипотезы Римана аналогичны следствиям обычной. К примеру, схожие границы ошибки можно доказать для аналогичных версий теоремы о распределении простых чисел в применении к простым числам любого конкретного вида. Однако обобщенная гипотеза Римана подразумевает много такого, что совершенно отличается от всего, что мы можем вывести из обычной гипотезы Римана. Так, в 1917 году Годфри Харди и Джон Литтлвуд доказали, что из обобщенной гипотезы Римана следует гипотеза Чебышева, в том смысле, что (буквально) простые числа вида встречаются чаще, чем числа вида . Согласно теореме Дирихле, оба вида равновероятны в конечном итоге, но это не мешает простым числам вида выигрывать у чисел , конечно, в правильной игре.

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

Сегодня у исследователей появился новый стимул к борьбе за доказательство гипотезы Римана: крупный приз.

В математике не существует Нобелевской премии. Самой престижной наградой в этой области является Филдсовская премия за выдающиеся открытия, вместе с которой вручается медаль. Эта премия названа в честь канадского математика Джона Филдса, который и завещал на нее средства. Раз в четыре года на Международном конгрессе математиков двум, трем или четырем молодым ученым не старше 40 лет вручают золотую медаль и денежную премию (в настоящее время это $15 000).

Многие представители математической науки считают правильным, что в их области не присуждается Нобелевская премия. В настоящее время она составляет чуть больше миллиона долларов, а такая сумма легко может исказить цели исследователей и породить споры о приоритетах. Однако отсутствие крупной математической премии также может исказить представления общества о значимости и полезности этой науки. Можно подумать, что открытия, за которые никто не хочет платить, не так уж важны. Возможно, поэтому не так давно появились две очень престижные новые математические премии. Одна из них - Абелевская - присуждается ежегодно Норвежской академией науки и словесности и названа в честь великого норвежского математика Нильса Хенрика Абеля. Вторая награда - это премии за решение семи «проблем тысячелетия», объявленные Математическим институтом Клэя. Этот институт основали в 1998 году в Кембридже (штат Массачусетс) американский бизнесмен Лэндон Клэй и его жена Лавиния. Лэндон Клэй активно занимается паевыми инвестиционными фондами и при этом любит и уважает математику. Его организация проводит встречи, выделяет гранты на исследования, организует публичные лекции и присуждает ежегодную премию за математические исследования.

В 2000 году сэр Майкл Атья и Джон Тейт, ведущие математики Великобритании и США, объявили, что Математический институт Клэя учредил новую премию, которая должна будет стимулировать работу над семью важнейшими нерешенными задачами математики. Эти задачи будут известны как «проблемы тысячелетия», а надлежащим образом опубликованное и отреферированное решение любой из них будет вознаграждено денежной суммой в $1 млн. Все вместе эти задачи призваны привлечь внимание к некоторым центральным для математики вопросам, до сих пор не имеющим ответов. Вопросы эти были тщательно отобраны лучшими математиками мира. Немалый приз должен ясно показать обществу: математика имеет огромную ценность. Всякий, кто имеет отношение к науке, прекрасно знает, что интеллектуальная ценность вполне может быть выше любых денег, но все же деньги помогают сосредоточиться. Самой известной и давней из задач тысячелетия является гипотеза Римана. Это единственный вопрос, который вошел одновременно и в список Гильберта (1900), и в список задач тысячелетия. Остальные шесть проблем тысячелетия обсуждаются далее в главах 10–15. Тем не менее математики не особенно гонятся за призами, и работа над гипотезой Римана продолжалась бы и без обещанной премии. Все, что для этого нужно, - новая перспективная идея.

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

Однако на переднем крае математики просто мнение стоит немного. Интуиция зачастую очень помогает ученым, но известно немало случаев, когда это замечательное чувство ошибалось. Житейский здравый смысл может лгать, оставаясь при этом и общепризнанным, и здравым. Литтлвуд, один из лучших знатоков комплексного анализа, выразился вполне однозначно: в 1962 году он сказал, что уверен в ошибочности гипотезы Римана, и добавил, что нет никаких мыслимых причин, по которым она была бы верна. Кто прав? Поживем, увидим.

Иэн Стюарт
Emeritus Professor of Mathematics at the University of Warwick, England

Гипотеза Римана доказана?

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

На этой неделе профессор математики Школы естественных наук Пурду, лауреат премии Эдварда Эллиотта Луи де Бранж опубликовал 23-страничный труд со своим доказательством. Обычно математики объявляют о таких достижениях на конференциях или в научных журналах. Однако за доказательство гипотезы Римана назначен приз в $1 млн, поэтому он решил поспешить с публикацией. «Я приглашаю других математиков проверить мои выкладки, - говорит де Бранж в подготовленном заявлении. - Со временем я передам свое доказательство для официальной публикации, но ввиду обстоятельств я чувствую необходимость немедленно опубликовать свою работу в интернете».

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

Как и решения многих других математических проблем, доказательство гипотезы Римана вряд ли найдет немедленное коммерческое применение, но через десятилетие его использование вполне вероятно.

Истоки гипотезы восходят к 1859 году, когда математик Бернхард Риман предложил теорию о распределении простых чисел, но в 1866 году он умер, так и не успев завершить ее доказательство. С тех пор за решение задачи брались многие. В частности, ее пытался решить Джон Нэш, математик, лауреат Нобелевской премии по экономике, история жизни которого положена в основу сюжета книги и кинофильма A Beautiful Mind («Игры разума»). В 2001 году математический институт Clay Mathematics Institute в Кембридже, штат Массачусетс, объявил за доказательство гипотезы премию в $1 млн.

Де Бранж, пожалуй, наиболее известен решением другой технической проблемы из области математики: 20 лет назад он доказал теорему Бибербаха. С тех пор ученый почти целиком посвятил себя проверке гипотезы Римана.

Предыдущие публикации:

Обсуждение и комментарии

	нц 10 Jun 2004 12:21 PM
Респект человеку, по крайней мере за то, что он пытается делать.
	Хохол 10 Jun 2004 12:24 PM
Да, нобелевка по математике это круто!!!
	torvic 10 Jun 2004 1:06 PM
"математик, обладатель Нобелевской премии" [по экономике]
	Yuri Abele 10 Jun 2004 1:17 PM
To Хохол: Джон Нэш - это действительно один из величайших математиков современности. Велик не замороченностью каких-нибудь математических вычислений, а тем вкладом, который его работа по теории игр внесла в мировую экономику. Она практически перевернула современную экономику. Если в двух словах, то он математически доказал, что конкурентам выгоднее, как это не парадоксально, сотрудничать а не конкурировать
	Maverik 10 Jun 2004 1:37 PM
2 torvic > Джон Наш, нобелевский лауреат по математике Это оригинал. Я сам чуть со стула не упал! Видно, редакоторам zdnet давно зарплату не повышали. Я уж не говорю о "гепотизе", которая светит в аннотации. Да не, тут прикол именно в том, что нобелевка по математике уже давно является бородатым историческим анекдотом.
	Qrot 10 Jun 2004 1:41 PM
> *Гипотеза* Римана доказана > доказательство *гепотизы* Римана помнится, наша учительница по русскому языку засчитывала подобное за двойную ошибку. > ... к 1859 году, когда математик Бернхард Риман предложил > теорию... в 1966 году он умер он что у вас, горец? в оригинале "but he died in 1866" тут редактор кроме сисадмина по вызову есть вообще?
	Qrot 10 Jun 2004 1:44 PM
Nobel Prize-winning mathematician != нобелевский луреат по математике. надмозги переводили?
	Maverik 10 Jun 2004 1:48 PM
Насчет даты смерти я не обратил внимания. :-) Респект!
	Михаил Елашкин - imhoelashkin.com 10 Jun 2004 2:07 PM
2 Qrot >надмозги переводили? О, вижу внимательного читателя Гоблина. Привет собрату:)
	Matros 10 Jun 2004 2:22 PM
2 Qrot: Это не надмозги, это безмозги. :)
	And 10 Jun 2004 3:22 PM
2 Yuri Abele. По-моему, совершенно очевидно, что конкурентам выгоднее сотрудничать, а не конкурировать. По-моему, такое сотрудничество имеет даже специальные названия, типа "ценовой сговор". И с таким сотрудничеством пытаются бороться всякие антимонопольные органы.
	Qrot 10 Jun 2004 4:23 PM
Михаил Елашкин: салют камраду! :)
	Yuri 10 Jun 2004 6:32 PM
Ну и знайтный же бред тут понаписали! Лажа чуть ли не в каждом слове. Это специально постараться - и то не сразу такое придумаешь. Гипотеза Римана, конечно, связана с распределением простых чисел (точно так же, как и еще со множеством других интереснейших вопросов), но пытаться объяснить ее суть, начиная с понятия простого числа - это чего-то особенного:-) А уж какое отношение к гипотезе Римана имеет обнаружение очередного простого числа, и тем более какую коммерческую выгоду можно было бы извлечь из этого доказательства, хотя бы даже и через сотни лет - это вообще загадка для пытливого ума:-)
	bravomail 10 Jun 2004 7:09 PM
коммерческая выгода одна - легкость ломки современных шифров
	Yuri 10 Jun 2004 7:29 PM
> коммерческая выгода одна - легкость ломки современных шифров Она _абсолютно_ не зависит не только от того, доказана или нет гипотеза Римана, но даже и от того, верна ли она вообще.
	Ks 10 Jun 2004 8:57 PM
Вообще говоря, гипотеза Римана касается нулей дзета-фнукции Римана, и уж если и используется в теории распределения простых чисел, то совсем неочевидным образом. Скажем так - постулат Бертрана доказывается с использованием этой самой дзета-функции, но вполне без этой гипотезы.
	Nobody 10 Jun 2004 10:51 PM
Nobel to Lunix! Windows must die!
	done 10 Jun 2004 11:24 PM
2YuriВ что Вы толкового принести в наше сообщество??
	C3Man 12 Jun 2004 4:44 AM
APOLOGY FOR THE PROOF OF THE RIEMANN HYPOTHESIS?
	Алекс 13 Jun 2004 6:15 PM
Ранее де Бранжес (это профессор, который утверждает, что доказал гипотезу Римана) доказал теорему типа -- если верно некое условие, то верна и гипотеза Римана. Потом выяснилось, что его условие не верно. В том, что висит в Инете доказательства гипотезы Римана нету (а вы бы повесили в инете 1M$?), там есть его извинения перед коллегами, о том, что его доказательство может спутать им планы исследований, его путь к доказательству и то, что бы он сделал с 1M$. В свое время Гильберт сказал, что если бы он проспал 500 лет, а потом проснулся, то первым делом он бы спросил, доказана ли гипотеза Римана.
	Алекс 14 Jun 2004 3:22 AM
Виноват, он действительно выложил доказательство. Только не на 24х страницах как вначале сообщалось, а на 124х. Мужику 72 года, а есть еще порох в пороховницах и ягоды в ягодицах.
	Вlack ibm.* 16 Jun 2004 12:05 PM
А вообще математика хороша тем что в не "КАК много может сделать " одиночка- сиди и ковыряй. про другие науки так не скажешь. ДАЖе теоритеическа физика где не нужны дорогостоящие эсперементы.. Сильно связана с эсперементаторами.. ТЕ ТЕОРФИЗИКИ только для эсперементаторов и работали(Ланндау ДА гений одиночка. НО достиг бы он такого релуьзата не взяы бы его Капица?) .. ну разве что особняком стоит Эейнштейн. МОЛОДЕЦ МУЖИК.
	Николай 13 Oct 2006 2:34 PM
Несколько год назад я "доказывал" Большую Теорему Ферма.Был ооочень рад,а потом...нашол ошибку!Уверен ли господин де Бранжес в том,что нашел настоящее доказательство?Я-нет!

Решение на 15 строк представил известный ученый из Великобритании сэр Майкл Фрэнсис Атья (Michael Francis Atiyah ), лауреат престижных математических премий. В основном он работает в области математической физики. Science сообщает , что о своем открытии Атья рассказал на конференции Heidelberg Laureate Forum в Гейдельбергском университете в понедельник.

Гипотезу Римана сформулировал, как можно догадаться, Бернхард Риман в 1859 году. Математик ввел понятие дзета-функции - функции для комплексного переменного - и описал с ее помощью распределения простых чисел. Первоначально проблема с простыми числами заключалась в том, что они просто распределены по ряду натуральных чисел без какой-либо видимой закономерности. Риман предложил свою функцию распределения простых чисел, не превосходящих x, но объяснить, почему возникает зависимость, не смог. Над решением этой проблемы ученые бьются уже почти 150 лет.

Гипотеза Римана входит в список « » (Millennium Prize Problems), за решение каждой из которых полагается награда в миллион долларов. Из этих задач решена только одна - гипотеза Пуанкаре. Ее решение предложил российский математик еще в 2002 году в серии своих работ. В 2010-м ученому присудили премию, но он от нее отказался.

Майкл Атья утверждает, что объяснил выявленную Риманом закономерность. В своем доказательстве математик опирается на фундаментальную физическую постоянную - постоянную тонкой структуры, которая описывает силу и природу электромагнитных взаимодействий между заряженными частицами. Описывая эту постоянную с использованием относительно малоизвестной функции Тодда, Атья нашел решение гипотезы Римана от противного.

Научное сообщество не спешит принимать предложенное доказательство. Так, например, экономист из Норвежского университета естественных и технических наук Йорген Висдал (Jørgen Veisdal ), ранее изучавший гипотезу Римана, заявил, что решение Атьи «слишком туманное и неопределенное». Ученому необходимо более тщательно изучить письменное доказательство, чтобы прийти к выводам. Коллеги Атьи, с которыми связался Science , также отметили, что не считают представленное решение успешным, так как оно основано на шатких ассоциациях. Физик-математик из Калифорнийского университета в Риверсайде Джон Баэс (John Baez ) и вовсе заявил, что доказательство Атьи «просто накладывает одно внушительное требование на другое без каких-либо доводов в пользу этого или реальных обоснований».

Сам Майкл Атья считает, что его работа закладывает основу для доказательства не только гипотезы Римана, но и других неразрешенных проблем в математике. Насчет критики он говорит: «Люди будут жаловаться и ворчать, но это потому, что они не согласны с идеей о том, что старик мог придумать совершенно новый метод».

Интересно, что в прошлом ученый уже делал похожие громкие заявления и сталкивался с критикой. В 2017 году Атья рассказал лондонскому изданию The Times о том, что сократил 255-страничную теорему Фейта - Томпсона, или теорему о нечетном порядке, доказанную в 1963 году, до 12 страниц. Математик отправлял свое доказательство 15 экспертам, однако они так и не дали положительных оценок работе, и в итоге она не была опубликована ни в одном научном журнале. Еще годом ранее Атья заявил о решении одной известной проблемы дифференциальной геометрии. Препринт статьи с этим решением ученый опубликовал на ArXiv.org. В скором времени коллеги указали на ряд неточностей в работе, и в полнотекстовом варианте статья так и не вышла.

Эти ошибки сейчас во многом поддерживают скептицизм научного сообщества в отношении доказательства гипотезы Римана. Атье остается ждать оценки Института Клэя, выдающего награды за решения «задач тысячелетия». Пока ознакомиться с доказательством математика можно по ссылке на Google Drive, которую он сам разместил в открытом доступе.

Решение на 15 строк представил известный ученый из Великобритании сэр Майкл Фрэнсис Атья (Michael Francis Atiyah ), лауреат престижных математических премий. В основном он работает в области математической физики. Science сообщает, что о своем открытии Атья рассказал на конференции Heidelberg Laureate Forum в Гейдельбергском университете в понедельник.

Гипотезу Римана сформулировал, как можно догадаться, Бернхард Риман в 1859 году. Математик ввел понятие дзета-функции - функции для комплексного переменного - и описал с ее помощью распределение простых чисел. Первоначально проблема с простыми числами заключалась в том, что они просто распределены по ряду натуральных чисел без какой-либо видимой закономерности. Риман предложил свою функцию распределения простых чисел, не превосходящих x, но объяснить, почему возникает зависимость, не смог. Над решением этой проблемы ученые бьются уже почти 150 лет.

Гипотеза Римана входит в список семи задач тысячелетия (Millennium Prize Problems), за решение каждой из которых полагается награда в миллион долларов. Из этих задач решена только одна - гипотеза Пуанкаре. Ее решение предложил российский математик Григорий Перельман еще в 2002 году в серии своих работ. В 2010-м ученому присудили премию, но от нее отказался.

Георг Фридрих Бернхард Риман - немецкий математик и физик / ©Wikipedia

Майкл Атья утверждает, что объяснил выявленную Риманом закономерность. В своем доказательстве математик опирается на фундаментальную физическую постоянную - постоянную тонкой структуры, которая описывает силу и природу электромагнитных взаимодействий между заряженными частицами. Описывая эту постоянную с использованием относительно малоизвестной функции Тодда, Атья нашел решение гипотезы Римана от противного.

Научное сообщество не спешит принимать предложенное доказательство. Так, например, экономист из Норвежского университета естественных и технических наук Йорген Висдал (Jørgen Veisdal ), ранее изучавший гипотезу Римана, заявил, что решение Атьи «слишком туманное и неопределенное». Ученому необходимо более тщательно изучить письменное доказательство, чтобы прийти к выводам. Коллеги Атьи, с которыми связался Science , также отметили, что не считают представленное решение успешным, так как оно основано на шатких ассоциациях. Физик-математик из Калифорнийского университета в Риверсайде Джон Баэс (John Baez ) и вовсе заявил, что доказательство Атьи «просто накладывает одно внушительное требование на другое без каких-либо доводов в пользу этого или реальных обоснований».