Когда компьютеры пишут доказательства, в чем смысл математиков Quanta Magazine

Оригинальное название: When Computers Write Proofs, What’s the Point of Mathematicians? Ссылка на оригинальное видео: Дата публикации оригинала: 31 августа 2023 г. Переведенное описание: Эндрю Грэнвилл знает, что искусственный интеллект глубоко изменит математику. Язык программирования Lean уже играет роль в доказательстве теорем. Вот почему теоретик чисел из Монреальского университета начал беседовать с философами о природе математических доказательств и о том, как математическая дисциплина может развиваться в эпоху искусственного интеллекта. Полную версию статьи читайте в журнале Quanta Magazine: Насколько близки компьютеры к автоматизации математических рассуждений? - ПОСЕТИТЕ наш сайт: - ПОСТАВЬТЕ нам НРАВИТСЯ на Facebook: - СЛЕДУЙТЕ за нами в Твиттере: Журнал Quanta — редакционно независимое издание, поддерживаемое Фондом Саймонса: #математика #доказательство #информатика