Glad you liked it!

I don't unfortunately but if you ever come across something please let me know.

Anyone registered for the conference is welcome to participate. More info about the Joint Meetings can be found here:

jointmathematicsmeetings.org/jmm

Here is a website describing activities around the challenge of communicating mathematics to be at the upcoming Joint Mathematics Meetings from January 4-7, 2026:

sites.google.com/view/communi...

While reporting, I stumbled across a recent talk that Tao gave on the subject of his latest research. youtu.be/cXqz5hgxlLM

Math at UCLA suffered the greatest blow.

I spoke with Terry Tao—Fields Medalist and arguably the preeminent mathematician of his generation—who is apparently now doing his summer research in number theory without external funding.

In particular, I'll be highlighting three essays by
@federicoardila.bsky.social, Denis R. Hirschfeldt, and @ijlaba.bsky.social linked from the last page of the slides.

This talk revisits a conversation held at Johns Hopkins in 2019 the proceedings of which were published by the
@amermathsoc.bsky.social

bookstore.ams.org/mbk-140

the mathematical landscape. We will raise questions related to building communities in which all mathematicians can flourish, rewarding collective work, organizing labor, confronting climate change, and anticipating AI.''

Norms are local — they are how individuals interact with each other and how individuals act in an institution — and global — our work at the local level building community glues to the work of our colleagues at other institutions, creating a systemic awareness and change across

Abstract: ``This talk will report on a multi-year conversation that aims to critically examine the cultural practices that affect the mathematics profession with a particular focus on our often unstated professional norms.

Today is the final stop on the @londmathsoc.bsky.social
Hardy Lecture Tour. I'm in Bristol to give a talk entitled “A conversation on professional norms in mathematics”

Slides are here:

emilyriehl.github.io/files/norms-...

Today's program at the LMS General Meeting also features a lecture by Clark Barwick on "The geometry of ∞-categories".

We argue that deploying a bespoke synthetic formal system for a particular kind of mathematical object — ∞-categories in this instance — is a promising tactic to simplifying definitions and proofs, without sacrificing rigor."

After considering the role that category theory and ∞-category theory play in 20th and 21st century mathematics, we describe a radical potential solution to these problems: to change the foundation system.

And will proofs that deploy ∞-categorical technology ever become formalizable, verifiable by a computer proof assistant?

Put more pithily, will we ever be able to distill ∞-category down to the point that it could be taught to undergraduates, much like ordinary 1-category theory is sometimes taught today?

Abstract:"While the last decades have seen considerable advances in our understanding of ∞-category theory, experts in the field have not yet solved the problem that confronts users of the theory: namely how to develop proficiency with this technology on a compressed time scale.