Крупнейшие прорывы 2020 года в области математики и информатики Quanta Magazine

Оригинальное название: 2020’s Biggest Breakthroughs in Math and Computer Science Ссылка на оригинальное видео: Дата публикации оригинала: 23 декабря 2020 г. Переведенное описание: Для математиков и компьютерщиков 2020 год был полон междисциплинарных открытий и праздников творчества. Мы хотели бы воспользоваться моментом, чтобы отметить некоторые из этих достижений. 1. Знаменательное доказательство, озаглавленное просто «MIP* = RE», устанавливает, что квантовые компьютеры, вычисляющие с помощью запутанных кубитов, теоретически могут проверить ответы на огромный набор задач. вопросы: задача Цирельсона по физике, о моделях запутанности частиц, и задача чистой математики, называемая гипотезой вложения Конна. 2. В феврале аспирантка Лиза Пиччирильо смахнула пыль с некоторых давно известных, но малоиспользуемых математических инструментов, чтобы ответить на вопрос об узлах, который возник уже несколько десятилетий. Особый узел, названный в честь легендарного математика Джона Конвея, долгое время ускользал от математической классификации с точки зрения многомерного свойства, известного как «разрезанность». Но, разработав версию узла, которая поддавалась традиционному анализу узлов, Пиччирилло наконец определил, что узел Конвея не является «срезом». 3. На протяжении десятилетий математики использовали компьютерные программы, известные как помощники по доказательству, чтобы помочь им писать доказательства, но люди всегда руководили процессом, выбирая общую стратегию и подход к доказательству. Это может скоро измениться. Многие математики в восторге от помощника по доказательству под названием Lean, эффективного и захватывающего помощника по доказательству, который однажды сможет помочь в решении серьезных проблем. Однако сначала математики должны оцифровать тысячи лет математических знаний, большая часть которых не записана, в форму, которую сможет обработать бережливое производство. Исследователи уже закодировали некоторые из самых сложных математических идей, теоретически доказав, что программное обеспечение может справиться с трудными задачами. Теперь остается только заполнить все остальное. Узнайте больше: