What's the Erdős number of an LLM? Mathematical and algorithmic discovery via machine learning

Speaker

Peter Holderrieth
CSAIL MIT

Host

Sharut Gupta
CSAIL MIT
Abstract: We survey methods for discovering novel mathematics and novel algorithms via machine learning (AlphaTensor, FunSearch, AlphaGeometry, AI Feynman etc.). We won't present our own work but rather other people's works. So, this is a review in form a presentation.