Skip to content

Mathematics

Every show filed under mathematics, ranked by what listeners actually play.

53
shows
0
subcategories
0
new this week

Most subscribed

in mathematics · refreshed hourly

Newest episodes

last seven days
  • Reasonable Hope (Math)

    From Secant Lines to Derivatives

    How can we calculate speed at a single instant or the slope of a curve at one point? Calculus begins with average rates over smaller intervals and follows their approximations toward an exact limit called the derivative.

    Yesterday · 3 min
  • Beyond Proof: Stories in Mathematics

    Will AI Put Mathematicians out of Job?

    When Google DeepMind and OpenAI models won gold medals at the International Mathematical Olympiad by solving five out of six complex problems, it signaled a monumental shift for AI in mathematics. In this episode, we explore how large language models are transforming mathematical discovery, examining the traditional sanctity of proofs and how historical purists resisted major power tools like algebra and computer-assisted theorem proving. We examine the central challenge of stochastic parrots making confident logical mistakes, and how formal proof assistants like Lean provide a safety net by verifying every inference step against strict axiomatic rules. Finally, we analyze the future of mathematics in the age of high-performance compute, looking at how specialized roles like conjecture scouts and formalizers will emerge as AI handles the nitty-gritty of logical derivation.

    Yesterday · 19 min
  • SOA Podcasts - Society of Actuaries

    Career Development Community: Reflections on Leading in Year One

    Host Roberto Gomez, ASA, speaks with Career Development Community Co-Chairs Tanner McKerlie, FSA, CERA, MAAA, and Kwesi Acqua, FSA, MAAA. They discuss their experiences in new leadership roles during the inaugural year of Communities.

    Friday · 36 min
  • SOA Podcasts - Society of Actuaries

    Career Development Community: Reflections on Leading in Year One

    Host Roberto Gomez, ASA, speaks with Career Development Community Co-Chairs Tanner McKerlie, FSA, CERA, MAAA, and Kwesi Acqua, FSA, MAAA. They discuss their experiences in new leadership roles during the inaugural year of Communities.

    Friday · 36 min

All Mathematics53