Террасный бальный зал 725e99a7 ОТРЕДАКТИРОВАНО

Будущее математического развития ~ Мы представляем обзор того, как некоторые вычислительные инструменты в настоящее время взаимодействуют с математической практикой, и размышляем о последствиях для исследовательской математики в краткосрочной и среднесрочной перспективе, поскольку эта область развивается в эпоху искусственного интеллекта и систем формальной верификации.