Скачать
Terence Tao: Machine Assistance and the Future of Research Mathematics
Автор: SAIR
Загружено: 2026-02-10
Просмотров: 1337
Описание:
Keynote Speech: Machine Assistance and the Future of Research Mathematics
by Terence Tao (Fields Medalist, Professor at UCLA, Co-Founder of SAIR Foundation)
ABSTRACT:
A variety of machine-assisted ways to perform mathematical assistance have matured rapidly in the last few years, particularly with regards to formal proof assistants, large language models, online collaborative platforms, and the interactions between them. We survey some of these developments and speculate on how they will impact future practices of mathematical research.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
