Новые алгоритмы на основе метрики Вассерштейна, разработанные математиками в 2025 году, позволили значительно ускорить обучение генеративных нейросетей (GAN). Теория оптимального транспорта теперь используется для минимизации затрат на перемещение вероятностных распределений данных.

Это решило проблему коллапса мод в обучении ИИ. Математический аппарат Монжа-Канторовича получил новую жизнь в эпоху глубокого обучения, став стандартом для задач компьютерного зрения и обработки естественного языка.

Физики-математики обнаружили в 2024 году прямую связь между полиномом Джонса для узлов и запутанностью в топологических квантовых компьютерах. Доказано, что вычисление определенных инвариантов узлов эквивалентно симуляции квантовых цепей.

Это открытие предлагает новые архитектуры для кубитов, защищенных от декогеренции топологическими свойствами материи. Работа опубликована в Communications in Mathematical Physics и связывает теорию кос с квантовой информатикой.

В 2025 году сообщество Unimath объявило о завершении формализации основ (infinity,1)-категорий с использованием гомотопической теории типов (HoTT). Это позволяет проверять сложнейшие топологические доказательства с помощью компьютерных пруверов вроде Coq и Lean.

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