Математика без математиков

Обсуждение автоматизации математических исследований и роли алгоритмов. Предполагается, что тема касается применения искусственного интеллекта для решения задач, традиционно выполняемых людьми.