Недоказанные теоремы современности, за которые полагается награда

Иногда усердное  изучение точных наук может принести свои плоды – вы станете не только известны на весь мир, но и богаты. Награды даются, впрочем, не за что попало, и в современной науке очень много недоказанных теорий, теорем и задач, которые плодятся по мере развития наук, взять хотя бы Коуровские или Днестровские тетради, этакие сборники с неразрешимыми физико-математическими, и не только,  задачами.  Однако есть и поистине сложные теоремы, которые не могут разгадать уже не один десяток лет, и вот за них то и выставлена награда американским институтом Клэя в размере 1 млн. долларов США за каждую.  До 2002 года общий джекпот равнялся 7 миллионам, так как «задач тысячелетия» было семь, однако российский математик Григорий Перельман решил гипотезу Пуанкаре, эпически отказавшись от миллиона, даже не открыв дверь  математикам США, которые хотели  вручить ему его честно заработанные премиальные.  Итак, включаем Теорию Большого Взрыва для фона и настроения, и смотрим, за что еще можно срубить круглую сумму.

Равенство классов P и NP

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

Гипотеза Ходжа

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

Здесь объясняя простыми словами можно сказать следующее:  в 20 веке были открыты очень сложные геометрические формы, типа искривленных бутылок. Так вот, было высказано предположение, что чтобы сконструировать эти объекты для описания, надо применять совсем головоломные формы, которые не имеют геометрической сути «этакие страшные многомерные каляки-маляки» или же все – таки можно обойтись условно-стандартной алгеброй+геометрией.

Гипотеза Римана

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

Теория Янга — Миллса

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

Уравнения Навье-Стокса

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

Гипотеза Бёрча — Свиннертон-Дайера

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

Нельзя не отметить, что почти в каждой области есть уже продвижения, и даже доказаны случаи для отдельных примеров. Поэтому не стоит медлить, а то получится как с теоремой Ферма, которая поддалась Эндрю Уайлсу через 3 с лишним века в 1994 году,  и принесла ему Абелевскую премию и около 6 млн. норвежских крон (50 миллионов рублей по сегодняшнему курсу).