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

Question

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

Answer 1

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