Когда компьютеры пишут доказательства, какой смысл в математиках?

Эндрю Грэнвилл знает, что искусственный интеллект коренным образом изменит математику. Язык программирования Lean уже играет важную роль в доказательстве теорем. Именно поэтому специалист по теории чисел из Монреальского университета начал обсуждать с философами природу математического доказательства и то, как математика может развиваться в эпоху искусственного интеллекта. Читайте полную статью в журнале Quanta:
Насколько компьютеры близки к автоматизации математических рассуждений?
ПОСЕТИТЕ наш сайт:
ПОДПИШИТЕСЬ на нас в Facebook:   / quantanews   ПОДПИШИТЕСЬ на нас в Twitter:   / quantamagazine   Quanta Magazine — независимое издание, поддерживаемое Фондом Саймонса:
#математика #доказательство #компьютерная наука