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