01:01:18
published on December 15, 2025
Some remarks about machine learning and (un)natural proving
By Josef Urban
Introduction
Appears in collection : Savant Mélange
Mathematics
and Interactions
00:00:00 / 00:00:00
Information about the video
- Date of recording 16/10/2018
- Date of publication 28/10/2018
- Institution IHES
- Licence CC BY-NC-ND
- Format MP4
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add questionAsk a question on MathOverflow
Register
- Bookmark videos
- Add videos to see later &
keep your browsing history - Comment with the scientific
community - Get notification updates
for your favorite subjects
