Я хочу чтобы моя программа доказывала любые теоремы.
Вы сами сначала доказывайте, вы все теоремы с доказательтвами знаете?
-- 27.10.2017, 20:54 --Мне кажется, точка зрения теории алгоритмов вообще к искуственному интеллекту мало относится. Мало ли что там можно сделать, а что нельзя. Задача стоит сделать, чтобы работало, и притом быстро, используя доступное железо.
"теории алгоритмов вообще к искуственному интеллекту мало относится"
СОГЛАСЕН, ПОТОМО ЧТО искуственному интеллект НЕ БУДЕТ, нашими такими умственнымы можможностьями
-- 27.10.2017, 21:01 --вы верите что можно создать искусственный интелект,
Я думаю что это немозможно, да пусть люди с начало лечит генетические заболевания (как рак,.... пока не излечимо)