-
В 1998 году Томас Хейлс объявил о получении доказательства гипотезы Кеплера по поводу наиболее эффективного способа упаковки пушечных ядер. Его доказательство было слишком длинным и включало большое количество вычислительных вставок. Поэтому Хейлс с командой взялись за это самостоятельно, призвав на помощь вспомогательные компьютерные программы Isabelle и HOL Light. Результат работы стал значимой вехой не только в дискретной геометрии, но и в системах автоматического получения доказательств
-
Из работы Г. Перельманома, посвященной решению одного из частных случаев гипотезы геометризации Уильяма Терстона, следует справедливость известной гипотезы Пуанкаре, которую сформулировал в 1904 году французский математик, физик и философ Анри Пуанкаре. Описанный Перельманом метод изучения потока Риччи назвали теорией Гамильтона-Перельмана. В 2006 году Григорий Перельман решил гипотезу Пуанкаре, за что ему было присуждена международная премия «Медаль Филдса».
-
Вьетнамский математик Нго Бао Тяу доказал: фундаментальную лемму, которая изначально предполагалась Ленглендсом в 1983 году и требовалась для доказательства некоторых важных гипотез в программе Ленглендса
-
Известна мозаика Пенроуза – набор плиток, которыми можно замостить плоскость, но при этом только апериодически. Много лет существовал вопрос – возможно ли сделать это при помощи только одной плитки. Джоан Тейлор и Джошуа Соколар обнаружили такую плитку.
-
Сколькими способами можно записать положительное целое число в виде суммы меньших чисел? В 2011 году Кен Оно и Ян Брюинье предложили ответ на этот старый вопрос
-
В августе 2012 года авторитетный японский математик Синъити Мотидзуки заявил, что ему удалось доказать abc-гипотезу. Предложенное им доказательство оказалось исключительно сложным даже с точки зрения математиков-специалистов.
Таким образом, доказательство Синъити Мотидзуки общедоступно, не опровергнуто, но пока и не считается проверенным. -
В 2012 году Макгуайр, Тьюгеман и Чиварио доказали, что минимальное количество подсказок, уникальным образом идентифицирующих задачу в Судоку, равно 17. Хотя и не каждый набор из 17 подсказок приводит к уникальному решению, теорема говорит, что нельзя построить допустимую задачу только на 16-и подсказках.
Математики высчитали минимальное число подсказок в головоломке судоку -
«Начиная с 7, любое нечётное число является суммой трёх простых». Ещё с 1937 года это утверждение верно для достаточно больших нечётных чисел, но в 2013 году перуанский математик Харальд Хельфготт проверил это утверждение на компьютере для чисел вплоть до 1030.
Решена одна из старейших и сложнейших математических задач -
Новый подход к основам математики под руководством Владимира Воеводского привлекает пристальное внимание. Кроме математического интереса, она обещает так модифицировать язык высшей математики, чтобы сделать его более пригодным для компьютеризированной обработки.
-
В 2013 году Киприан Манолеску доказал существование компактных многообразий размерности 5 (и, следовательно, любой размерности больше 5), которые не допускают триангуляции
-
В 2013 году Чжан Итан доказал, что существует бесконечно много последовательных простых чисел с разностью не более 70 миллионов. Последовавший за этим ажиотаж привёл к тому, что Джеймс Мэйнард и проект Polymath, организованный Теренсом Тао, уменьшили это число до 246.
-
Норвежская Академия Наук анонсировала вручение премии Абеля математику Эндрю Уайлсу. Награда, которую многие эксперты называют «Нобелевской премией по математике» присуждена за доказательство Великой теоремы Ферма, опубликованное в 1995 году.
-
В этом году достойным премии посчитали французского математика Ива Мейера. Его заслуга — существенный вклад в разработку теории вейвлетов, математических функций, которые используются, в частности, в области анализа и сжатия данных.
Ив Мейер получил премию Абеля от Его Величества короля Харальда -
Премия присуждена канадскому математику Роберту Ленглендсу «за дальновидную программу, соединяющую теорию представлений и теорию чисел».
-
Премия присуждена американский математику Карен Уленбек «за пионерские достижения в геометрических дифференциальных уравнениях в частных производных, калибровочной теории поля и интегрируемых системах и за фундаментальное влияние ее работ на математический анализ, геометрию и математическую физику».
