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