Скачать с ютуб What is...machine learning in mathematics – part 4? в хорошем качестве

What is...machine learning in mathematics – part 4?

Goal. Hi, I’m Daniel Tubbenhauer, but feel free to call me Dani (they/them). This is a personal and informal exploration of how (and why, or why not) machine learning can be used to advance mathematics. At its core, mathematics is about reasoning, and figuring out how to reason is one of the biggest challenges in machine learning. Therefore, mathematics serves as a crucial benchmark for understanding what modern artificial intelligence can—and cannot—achieve. This video series will document my journey as I learn this myself. This time. What is...machine learning in mathematics – part 4? Or: AI and automated proofs. Disclaimer. Nobody is perfect, and I might have said something silly. If there is any doubt, then please check the references. Slides. http://www.dtubbenhauer.com/youtube.html TeX files for the presentation. https://github.com/dtubbenhauer/My-Te... Thumbnail. A picture generated from AI YouTube templates. (This fits well with the theme of the lecture series :-)) Main discussion. https://arxiv.org/abs/2009.03393 Background material. https://en.wikipedia.org/wiki/Machine... https://en.wikipedia.org/wiki/Artific... https://en.wikipedia.org/wiki/Supervi... https://en.wikipedia.org/wiki/Unsuper... https://en.wikipedia.org/wiki/Reinfor... https://en.wikipedia.org/wiki/Deep_le... https://en.wikipedia.org/wiki/Artific... https://en.wikipedia.org/wiki/Mathema... https://en.wikipedia.org/wiki/Optimiz...) https://en.wikipedia.org/wiki/Linear_... https://en.wikipedia.org/wiki/Probabi... https://en.wikipedia.org/wiki/Statistics https://en.wikipedia.org/wiki/Calculus https://en.wikipedia.org/wiki/Bayesia... https://en.wikipedia.org/wiki/Symboli... https://en.wikipedia.org/wiki/Automat... https://en.wikipedia.org/wiki/Computa... https://en.wikipedia.org/wiki/Turing_... https://en.wikipedia.org/wiki/G%C3%B6... https://en.wikipedia.org/wiki/Interpr... https://en.wikipedia.org/wiki/Artific... https://en.wikipedia.org/wiki/Limitat... https://en.wikipedia.org/wiki/Bias_in... https://en.wikipedia.org/wiki/Explain... https://en.wikipedia.org/wiki/Artific... Computer talk. https://chatgpt.com/ https://en.wikipedia.org/wiki/PyTorch https://en.wikipedia.org/wiki/TensorFlow https://en.wikipedia.org/wiki/Keras https://en.wikipedia.org/wiki/Scikit-... https://en.wikipedia.org/wiki/Theano https://en.wikipedia.org/wiki/Apache_... https://en.wikipedia.org/wiki/Caffe_(...) https://en.wikipedia.org/wiki/Jupyter...) https://en.wikipedia.org/wiki/OpenCV https://en.wikipedia.org/wiki/Fast.ai Pictures used. Picture from https://www.cl.cam.ac.uk/~jrh13/paper... Picture from https://en.wikipedia.org/wiki/AlphaGo https://en.wikipedia.org/wiki/Large_l... Picture from https://arxiv.org/pdf/2009.03393 https://en.wikipedia.org/wiki/Proof_w... YouTube and co.    • Geordie Williamson - What can the working ...      • What's the future for generative AI? - The...      • When Computers Write Proofs, What's the Po...   #machinelearning #deeplearning #mathematics