Математическая гипотеза доказана спустя 80 лет
Доказательства так называемой проблемы несоответствия Эрдеша — гипотезы, сформулированной знаменитым математиком Полом Эрдешом еще в 30-е годы XX века, описал его ученик — математик из Университета Калифорнии Теренс Тао.
Над доказательством этой гипотезы уже много лет работают математики всего мира — по отдельности и объединяясь в группы, вручную и с помощью сложных компьютерных алгоритмов. И некоторые успехи были достигнуты — например, в 2012 году математикам удалось представить доказательство частного случая проблемы Эрдеша с помощью компьютерной программы. Сейчас же Тао представил доказательство для общего вида. Работе Тао предстоит пройти рецензирование коллег, но первые отзывы сходятся на том, что математику, действительно, удалось найти решение.