Загадка Клео: Искусственный интеллект, математика и поиск неизведанного

Введение в проблему автоматизированного математического поискаСовременная математика и теоретическая информатика переживают период глубоких трансформаций. Если еще пару десятилетий назад доказательст…