Компьютеры становятся лучшими математиками

Источник «POSITIME» / фото - «positime.ru» 10.08.2015 20:30

Великие идеи до сих пор возникают в умах математиков. Но ситуация может измениться, если когда-нибудь программное обеспечение научиться решать математические проблемы самостоятельно.

Люди – далеко не идеальный компьютер. Даже простой калькулятор способен совершать математические действия в разы быстрее. По мнению некоторых ученых-компьютерщиков и математиков, в будущем человеческий мозг будет играть незначительную роль в вычислениях. По мнению основателя платформы Polymath Тимоти Гауэрса из Кембриджского университета, через 25 лет компьютеры будут полезными помощниками математиков, но уже через 50 лет станут лучшими в этом процессе по многим причинам.

При решении задач машина может пойти двумя путями. Либо она станет проверять существующие доказательства и применять их к процессу, либо займется самостоятельным поиском пути решения (доказательство теоремы).

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

Новость на сайте «POSITIME» / Интересные / 2015-08-10T20:30:00+03:00 / 485

Другие новости / Интересные

Интересные