@emilyriehl.bsky.social

Yesterday's Supreme Court decision in Louisiana v Callais brings renewed urgency to the question of how we might one day escape the escalating partisan gerrymandering of US House districts.

🚨 Putting this back on your radar: The deadline for the ICERM Graduate Training Workshop on ∞-categories with proof-assistants (organized with @emilyriehl.bsky.social and Jonathan Weinberger) is getting close! 📬Application deadline: March 31, 2026. Full details + links in the post below 👇

Nima Rasekh@nimarasekh.bsky.social · 10mo ago

🌞Summer School Announcement🌞 🎓∞-Category Theory at ICERM!🎓 I am happy to announce that together with @emilyriehl.bsky.social and Jonathan Weinberger we are organizing a Graduate Training Workshop teaching ∞-category theory via proof assistants!🧠💻 More infos in the next post👉

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.

The suspensions landed perhaps most heavily in math. NSF suspended a $25 million grant for the Institute for Pure and Applied Mathematics (IPAM), an international center at UCLA that hosts about 2000 visiting researchers every year for workshops and other programs. One of its stars, Terence Tao, a Fields Medal winner frequently named as one of the greatest living mathematicians, also had his only NSF grant suspended. The $750,000 award was in its first year and supported Tao’s own research and a handful of graduate students in developing tools to tell whether a set of numbers is structured or random. Tao says he now cannot offer research assistant opportunities during the academic year, and he calls the cuts to IPAM “quite disastrous.”

Tao’s ultimate goal is to use the tools to solve the twin primes conjecture, a centuries-old problem in number theory that suggests there are an infinite number of prime pairs that differ by two, like five and seven. But the NSF grant provided the vast majority of outside support for his UCLA salary. “I’m currently doing summer research unfunded,” he says.

One thing I've always appreciated about the NSF is their broad mission to "promote the progress of science" both through new research and its public communication. See the following thread for #DMSFunded work describing recent developments in category theory, homotopy theory, and formalization:

@emilyriehl.bsky.social · last yr.

I'm halfway through the @londmathsoc.bsky.social Hardy Lecture Tour. Titles and abstracts can all be found here: emilyriehl.github.io/talks/ and slides (when available) will eventually be added.

Afternoon: * Jenann Ismael talks about agency and the role of interference in prediction. * Simon Levin told us about complexity and self-organization from ecology to society. * Michael Tomasello reflects on the relationship between social cooperation and agency in primates (including humans).

Day 2 of the Natural Philosophy Symposium is in the books! * Alan Guth talked about getting an arrow of time in a universe with time-symmetric laws. * Jennifer Nagel explained what it means for two people can have common knowledge. * David Albert related thermodynamics to our causal abilities.

* Kevin Zollman @kevinzollman.com explaining game theory as a wide-ranging tool for social and biological science * Malcolm MacIver showing how the capacity to plan arose after organisms climbed out from water and onto land * Nick Lane tracing the origin of life back to alkaline hydrothermal vents