В статье сделана попытка посмотреть на современную ма­тематическую практику через призму концепции распреде­ленного познания. Характерное для цифрового общества повсеместное использование персональных компьютеров и сети Интернет рассмотрено как способ достичь более эффек­тивного распределения познавательной активности человека. В качестве решающего вызова, определяющего магистраль­ное направление трансформации математической практики, в статье выделяется «проблема сложности». Современная тенденция к полной формализации математических доказа­тельств на основе цифровых технологий рассматривается как одна из реакций на указанный вызов. Показано, что названная тенденция ведет к проекту переосмысления и перестройки самих оснований математики в целях обеспечения более эф­фективной коммуникации, а тем самым и надежности совре­менной математики.