LLMs for (Informal) Math

Stream: Machine Learning for Theorem Proving

[Alex Kontorovich]

This is not exactly on the topic of formalized theorem proving, but in case people may find it useful, let me post here a recent interview with Rob Ghrist on "Practical AI for the working mathematician": https://www.youtube.com/watch?v=DkQyUta5CAw