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

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

1 ответ

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

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