У нас вы можете посмотреть бесплатно Terence Tao: Machine Assistance and the Future of Research Mathematics или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
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.