[MINI] Theorem Provers

What if you could simply tell a recommendation system what you want instead of relying on likes, dislikes, and watch history? Kyle Polich talks with Fuyuan Lyu about the DPR framework, which combines large language models and traditional recommender systems to give users direct c ...  Show more

How can researchers audit recommendation systems when the algorithms are hidden from view? Hieu Le joins Kyle Polich to discuss Auto-Like, a reinforcement learning framework that systematically explores how platforms like TikTok personalize content feeds. The conversation covers ...  Show more

Faced with one cake and eight hungry people, it’s pretty obvious how maths underpins reality. But as mathematics gets further from common sense and into seemingly abstract territory, nature still seems to obey its rules - whether in the orbit of a planet, the number of petals ...

Melvyn Bragg and guests discuss an iconic piece of 20th century maths - Gödel’s Incompleteness Theorems. In 1900, in Paris, the International Congress of Mathematicians gathered in a mood of hope and fear. The edifice of maths was grand and ornate but its foundations, called axio ...  Show more

Rationalism says mathematical knowledge comes from within, from pure thought; empiricism that it comes from without, from experience and observation. Rationalism led Kepler to look for divine design in the universe, and Descartes to reduce all mechanical phenomena to contact mech ...  Show more

What is mathematics? Does it provide us with "epistemological bedrock" - a finally, once and for all certainly true foundation? What does fallibilism say about any of this? Is mathematical knowledge not immune from error?