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