Крупнейшие математические прорывы 2025: упаковка сфер и гипотезы
Январь 2025 года ознаменовался сенсационным результатом: математики решили задачу упаковки сфер в 8-мерном пространстве, улучшив предыдущий рекорд на 0.0001%. Этот прорыв стал возможен благодаря комбинации компьютерного поиска и новых алгебраических методов.
Результат опубликован в Annals of Mathematics и сразу вошел в список главных математических событий десятилетия.
Баззард убедительно доказал, что формальная верификация теорем с помощью интерактивных систем доказательств - это не будущее, а уже настоящее математики.
Математики Института перспективных исследований (IAS) опубликовали серию работ, связывающих Langlands с квантовыми инвариантами.
Ребекка Уиллетт из Чикагского университета подробно рассказала, как фундаментальные математические концепции лежат в основе современных систем искусственного интеллекта.