Math related to AI

optimization theory, probability, graph theory, differential equations.

Slides: https://www.canva.com/design/DAGyePb2ijI/vHWgDgiCFti2q5otrip6YQ/view?utm_content=DAGyePb2ijI&utm_campaign=designshare&utm_medium=link2&utm_source=uniquelinks&utlId=h0f2652ffe3

https://github.com/dair-ai/Mathematics-for-ML

https://github.com/MathFoundationRL/Book-Mathematical-Foundation-of-Reinforcement-Learning

https://arxiv.org/abs/2001.04385

https://arxiv.org/abs/2202.02435

AI tools for Math

Using AI to solve math problems.

Slides: https://www.canva.com/design/DAG3LHD_dyo/Yj_Fe-V3eyV92kZLnQjwUA/view?utm_content=DAG3LHD_dyo&utm_campaign=designshare&utm_medium=link2&utm_source=uniquelinks&utlId=h261e60efa5

https://en.wikipedia.org/wiki/Computer-assisted_proof

https://en.wikipedia.org/wiki/Automated_theorem_proving

https://arxiv.org/abs/2412.16543

https://github.com/modelscope/awesome-deep-reasoning

https://www.technologyreview.com/2025/06/04/1117753/whats-next-for-ai-and-math/

https://www.scientificamerican.com/article/inside-the-secret-meeting-where-mathematicians-struggled-to-outsmart-ai/

https://github.com/modelscope/awesome-deep-reasoning

https://arxiv.org/abs/2412.16075