DARPA планирует «дать толчок математическим инновациям с помощью ИИ» в рамках проекта expMath
habr.comУправление перспективных исследовательских проектов Министерства обороны США (DARPA) запустило проект, получивший название expMath.
Проект направлен на то, чтобы дать толчок математическим инновациям с помощью искусственного интеллекта.«Цель Exponentiating Mathematics (expMath) — радикально ускорить темпы прогресса в области чистой математики путём разработки ИИ-помощника, способного предлагать и доказывать полезные абстракции», — пишет DARPA.Согласно исследованию, которое провели в 2021 году Лутц Борнманн, Робин Хауншильд и Рюдигер Мутц, общий темп роста научных публикаций в различных дисциплинах составляет 4,1%.
