Скачать с ютуб видео Terence Tao at IMO 2024: AI and Mathematics

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Terence Tao at IMO 2024: AI and Mathematics в качестве 4k

У нас вы можете посмотреть бесплатно Terence Tao at IMO 2024: AI and Mathematics или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

Информация по загрузке:

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Terence Tao at IMO 2024: AI and Mathematics в формате MP3:

Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru

Terence Tao at IMO 2024: AI and Mathematics

The AIMO Prize and IMO 2024 are supported by XTX Markets https://aimoprize.com/ Speaking at the 65th IMO in Bath, UK, Terence Tao gives an overview of how computers and AI are being used in mathematical research. He discusses the evolution from early computational tools to modern machine learning and formal proof assistants, highlighting recent breakthroughs and ongoing challenges. Tao emphasizes that while AI is becoming increasingly useful in mathematics, human insight and creativity remain essential for making meaningful progress in the field. 00:00 Introduction by Gregor Dolinar, IMO President 01:41 History of Machines and Mathematics 06:11 Online Encyclopedia of Integer Sequences 09:28 SAT Solvers 14:38 Proof Assistants 36:05 Machine Learning 41:34 Large Language Models 51:11 Q&A: Voevodsky 53:14 Q&A: Attending university at a young age 55:10 Q&A: Choosing fields of mathematics, Erdős number

Comments