Почему компьютеры не могут решить все математические теоремы?

Вот Перельман решал гипотезу Пуанкаре 7 лет, но сейчас придуманы мощные программы, компьютеры, в тех же шахматах, то почему компьютеры не могут решить все математические теоремы? ИИ или квантовые компьютеры наверняка решат все математические, экономические и социальные задачи.
6 года назад от robot pass

1 ответ



0 голосов
Во-первых, теоремы не решаются. Во-вторых, компьютеры не умеют думать, они выполняют заложенный алгоритм. Он может быть очень сложным, и может выполнятся очень быстро на мощных компьютерах, но он должен БЫТЬ.
6 года назад от Глеб Рылов

Связанные вопросы

1 ответ
Кто немного понимает в IP камерах видеонаблюдения – поделитесь, пожалуйста, советом.
1 год назад от AntonyVarney
2 ответов
Может ли из-за парадоксов путешествия во времени пропасть вторая луна у Земли?
6 года назад от коля титов
1 ответ
Не сгорит ли реле при подачи большего управляющего тока
10 месяцев назад от PatrickCus