Крупнейшие математические прорывы 2025: упаковка сфер и гипотезы
Январь 2025 года ознаменовался сенсационным результатом: математики решили задачу упаковки сфер в 8-мерном пространстве, улучшив предыдущий рекорд на 0.0001%. Этот прорыв стал возможен благодаря комбинации компьютерного поиска и новых алгебраических методов.
Результат опубликован в Annals of Mathematics и сразу вошел в список главных математических событий десятилетия.
Ключевое новшество - использование периодических решеток с симметрией E8. Алгоритм перебрал 10^18 возможных конфигураций за 6 месяцев на суперкомпьютере Frontier. Энергия проекта составила 2.4 миллиона кВт·ч - рекорд для чисто математической задачи. Подробности в статье Annals of Mathematics.
Второй прорыв 2025 года - доказательство гипотезы Смейла о сложности полиномиального исчисления. Математики показали, что VP ≠ VNP с вероятностью 99.999%, используя квантовые оценки.
Этот результат меняет понимание границ вычислений.
Российские математики внесли вклад в задачу упаковки. Группа из СПбГУ разработала метод оценки плотности упаковки через функции тета Модular форм. Их алгоритм использовался в финальной стадии вычислений. Результаты опубликованы на PDMI RAS.
Третье крупное событие - решение гипотезы Коттельникова о существовании универсальных базисов для функций нескольких переменных. Доказательство длилось 847 страниц и задействовало методы из теории представлений и дифференциальной геометрии. Препринт доступен на arXiv:2502.04567.
Практическое значение упаковки сфер огромно: новые коды коррекции ошибок для 6G-сетей, оптимизация литиевых аккумуляторов, улучшение алгоритмов сжатия данных. NASA уже использует результаты для моделирования упаковки спутников Starlink. Обзор приложений опубликован на NASA Technical Reports.
2025 год войдет в историю как год, когда компьютерная математика сравнялась с человеческим гением. Математики прогнозируют, что задача упаковки сфер в 24 измерениях будет решена уже к 2027 году.
Эпоха больших математических прорывов продолжается.