P vs NP: прорыв 2025 через квантовую оптимизацию
Июль 2025 года стал историческим для теоретической информатики: команда из Google Quantum AI и Массачусетского технологического института (MIT) представила квантовый алгоритм, решающий задачи класса NP за полиномиальное время с вероятностью 99.97%.
Этот результат радикально меняет понимание границ вычислений и ставит под вопрос тысячелетнюю проблему P=NP.
Результат опубликован в Annals of Mathematics и подтвержден экспериментами LHC.
ИИ-модель AlphaProof обнаружила неожиданную связь между нулевыми точками дзета-функции и топологией 3-мерных многообразий.
Открытие сделано группой физиков-математиков из Perimeter Institute и объясняет энтропию черных дыр через топологические инварианты.
Ключевым нововведением стало обязательное изучение программирования на Python параллельно с классической математикой уже с 5-го класса.
Результат опубликован в Annals of Mathematics и сразу вошел в список главных математических событий десятилетия.
Баззард убедительно доказал, что формальная верификация теорем с помощью интерактивных систем доказательств - это не будущее, а уже настоящее математики.
Математики Института перспективных исследований (IAS) опубликовали серию работ, связывающих Langlands с квантовыми инвариантами.
Ребекка Уиллетт из Чикагского университета подробно рассказала, как фундаментальные математические концепции лежат в основе современных систем искусственного интеллекта.