Последнее открытие в , нужно про него рассказать

10. синъити мотидзуки заявил о доказательстве им abc-гипотезы. событие попало в конец списка, поскольку до сих пор его доказательство не поддержано большим кругом . иначе оно занимало бы первое место. а пока, к разочарованию заинтересованных сторон, оно находится в лимбе. 9. тернарная проблема гольдбаха. «начиная с 7, любое нечётное число является суммой трёх простых». ещё с 1937 года это утверждение верно для достаточно больших нечётных чисел, но в 2013 году перуанский харальд гельфготт проверил это утверждение на компьютере для чисел вплоть до 1030. независимо от него это сделал и дэвид плат. 8. вьетнамский нго бао тяу доказательством леммы, составляющей часть программы ленглендса. ужасно техническое, но важное событие программы. 7. 17 подсказок судоку. в 2012 году макгуайр, тьюгеман и чиварио доказали, что минимальное количество подсказок, уникальным образом идентифицирующих в судоку, равно 17. хотя и не каждый набор из 17 подсказок приводит к уникальному решению, теорема говорит, что нельзя построить допустимую только на 16-и подсказках. 6. гомотопическая теория типов / аксиома унивалентности. новый подход к основам под руководством владимира воеводского привлекает пристальное внимание. кроме интереса, она обещает так модифицировать язык высшей , чтобы сделать его более пригодным для компьютеризированной обработки. 5. нетриангулируемые многообразия. на шестом месте списка – удивительное открытие киприана манолеску [ciprian manolescu] по поводу нетриангулируемых многообразий в измерениях от 5 и выше. 4. мозаика соколара-тейлора. известна мозаика пенроуза – набор плиток, которыми можно замостить плоскость, но при этом только апериодически. много лет существовал вопрос – возможно ли сделать это при только одной плитки. джоан тейлор и джошуа соколар обнаружили такую плитку. 3. окончание проекта «флайспек». в 1998 году томас хейлс объявил о получении доказательства гипотезы кеплера по поводу наиболее эффективного способа упаковки пушечных ядер. к сожалению, его доказательство было слишком длинным и включало большое количество вычислительных вставок, в связи с чем проверявшие его люди не смогли завершить проверку. поэтому хейлс с командой взялись за это самостоятельно, призвав на компьютерные программы isabelle и hol light. результат работы стал значимой вехой не только в дискретной , но и в системах автоматического получения доказательств. 2. разбиение чисел. сколькими способами можно записать положительное целое число в виде суммы меньших чисел? в 2011 году кен оно и ян брюинье предложили ответ на этот старый вопрос. 1. интервалы между простыми числами. неудивительно, что это достижение попало на первое место. этот замечательный результат получил чжан итан в 2013 году. он доказал, что существует бесконечно много последовательных простых чисел с разностью не более 70 миллионов. последовавший за этим ажиотаж привёл к тому, что джеймс мэйнард и проект polymath, организованный теренсом тао, уменьшили это число до 246.

ответ:

последнее не знаю какое было, но вот последние 10. выберешь любое!

пошаговое объяснение:

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

9. тернарная проблема гольдбаха. «начиная с 7, любое нечётное число является суммой трёх простых». ещё с 1937 года это утверждение верно для достаточно больших нечётных чисел, но в 2013 году перуанский харальд гельфготт проверил это утверждение на компьютере для чисел вплоть до 1030. независимо от него это сделал и дэвид плат.

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

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

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

5. нетриангулируемые многообразия. на шестом месте списка – удивительное открытие киприана манолеску [ciprian manolescu] по поводу нетриангулируемых многообразий в измерениях от 5 и выше.

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

3. окончание проекта «флайспек». в 1998 году томас хейлс объявил о получении доказательства гипотезы кеплера по поводу наиболее эффективного способа упаковки пушечных ядер. к сожалению, его доказательство было слишком длинным и включало большое количество вычислительных вставок, в связи с чем проверявшие его люди не смогли завершить проверку. поэтому хейлс с командой взялись за это самостоятельно, призвав на компьютерные программы isabelle и hol light. результат работы стал значимой вехой не только в дискретной , но и в системах автоматического получения доказательств.

2. разбиение чисел. сколькими способами можно записать положительное целое число в виде суммы меньших чисел? в 2011 году кен оно и ян брюинье предложили ответ на этот старый вопрос.

1. интервалы между простыми числами. неудивительно, что это достижение попало на первое место. этот замечательный результат получил чжан итан в 2013 году. он доказал, что существует бесконечно много последовательных простых чисел с разностью не более 70 миллионов. последовавший за этим ажиотаж привёл к тому, что джеймс мэйнард и проект polymath, организованный теренсом тао, уменьшили это число до 246.

1)0.4747 2)18720.6