Скачать
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
Автор: Simons Foundation
Загружено: 2025-02-20
Просмотров: 107205
Описание:
In this Presidential Lecture, Terence Tao will survey historical and recent developments in the use of machines in mathematics. He will also speculate on the future roles of machine assistance in the field.
For more information, please visit: https://www.simonsfoundation.org/even...
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
