Скачать
CRM Colloquium by Terence Tao: "Machine Assisted Proofs"
Автор: Centre de Recerca Matemàtica
Загружено: 2024-10-08
Просмотров: 6137
Описание:
Abstract:
For centuries, mathematicians have utilized computers for calculations and conjectures. However, with the advent of interactive theorem provers, machine learning, and generative AI, machines are beginning to play a more creative role in mathematical discovery. In this talk, Terence Tao surveys historical and recent advancements in machine-assisted proofs and speculates on their future roles in mathematics. Recorded on September 18, 2024, at the Institut d'Estudis Catalans.
Speaker: Terence Tao, University of California, Los Angeles.
More information: https://www.crm.cat/crm-colloquium-by...
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
