Одним из первых математиков, заложивших основы ИИ, был Алан Тьюринг. Развитие и и формализация ИИ пришлись на XX век, тестирование и познание