Sign in

emilyriehl.bsky.social

@emilyriehl.bsky.social
302 followers 24 following 123 posts
PostsRepliesMedia
Pinned
emilyriehl.bsky.social @emilyriehl.bsky.social · 25/09/2026
I was part of a group that met last week to try to propose recommended changes to the structure of math PhD programs in an age of AI. Our report, together with a collection of related resources, is now available here: cmsa.fas.harvard.edu/aimathphd_su...
cmsa.fas.harvard.edu
Summit on PhD Math Education in the Age of AI - CMSA
On September 17–18, 2026 a group of 24 mathematicians met at Harvard to grapple with the changing landscape for mathematics PhD programs in the age of AI. We produced recommendations given […]
35217
emilyriehl.bsky.social @emilyriehl.bsky.social · 14/09/2026
This take, which is more interesting than my own, came out of a discussion last night about my attempts to describe my views on purpose of mathematical research: terrytao.wordpress.com/2026/09/14/w...
terrytao.wordpress.com
Why I do mathematical research
[This is a guest post by Emily Riehl. This blog post was initially written in a different file format and converted using AI. — T.] Like many mathematicians, I was drawn to the field as a lit…
02211
emilyriehl.bsky.social @emilyriehl.bsky.social · 09/09/2026
According to my memory from last night and the wayback machine, OpenAI updated the Navier-Stokes pdf at Tue, 08 Sep 2026 19:09:35 GMT. The original version was one page shorter and did not contain any citations to Diego Córdoba and Luis Martínez-Zoroa: web.archive.org/web/20260000...
web.archive.org
Wayback Machine
14613
emilyriehl.bsky.social @emilyriehl.bsky.social · 20/08/2026
I joined Ira Flatow on today's episode of @scifri.bsky.social to weigh in on recent events in AI for Math: www.sciencefriday.com/segments/wor...
sciencefriday.com
Creating 'world models' for robots + An AI math shakeup
How do you create a model to help AI understand the physical world? Plus, the latest AI-driven advancements in math.
050
emilyriehl.bsky.social @emilyriehl.bsky.social · 23/07/2026
I wrote a column in @science.org celebrating today's Fields Medalists that also describes some the history and motivations for the prize: www.science.org/doi/10.1126/...
2184
emilyriehl.bsky.social @emilyriehl.bsky.social · 30/04/2026
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.
2153
emilyriehl.bsky.social @emilyriehl.bsky.social · 22/04/2026
I'm here for the abstract and overcomplicated: xkcd.com/3235
xkcd.com
Types of Board Game
1152
emilyriehl.bsky.social @emilyriehl.bsky.social · 27/03/2026
On today's episode of @scifri.bsky.social, @littmath.bsky.social and I had a conversation about vibe proving and AI for mathematics. Check it out here: www.sciencefriday.com/segments/cou...
sciencefriday.com
Move over, vibe-coding. Vibe-proving is here for math
A few years ago, ChatGPT couldn’t do simple arithmetic. Now, some experts say that AI could make mathematicians obsolete.
1152
Reposted by @emilyriehl.bsky.social
Nima Rasekh @nimarasekh.bsky.social · 27/02/2026
🚨 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 👇
031
emilyriehl.bsky.social @emilyriehl.bsky.social · 03/01/2026
On the latest episode of the Science podcast, Alex Kontorovich and I discuss the challenges of communicating mathematics among professional mathematicians: www.science.org/content/podc...
science.org
Looking for continents on exoplanets, and math is hard for mathematicians, too
On this week’s show: Sending telescopes out beyond the Solar System to see other worlds, and solving the communication problem in math
151
emilyriehl.bsky.social @emilyriehl.bsky.social · 29/12/2025
In a talk called "A reintroduction to proofs" emilyriehl.github.io/files/reintr... I've speculated about teaching an undergraduate level introduction to proofs course but using dependent type theory as the implicit formal system in place of set theory and first order logic.
emilyriehl.github.io
192
emilyriehl.bsky.social @emilyriehl.bsky.social · 28/11/2025
One of my favorites from Bill Thurston ❤️:
031
emilyriehl.bsky.social @emilyriehl.bsky.social · 27/11/2025
I wrote about the challenge of mathematicians explaining mathematics to other mathematicians for Science Magazine's Expert Voices column series: www.science.org/doi/10.1126/...
science.org
Mathematics is hard for mathematicians to understand too
At a recent conference on mathematics in the age of automated proofs, mathematician and Fields Medalist Akshay Venkatesh presented “How do we talk to our students about AI?'' He quoted an email he'd r...
283
emilyriehl.bsky.social @emilyriehl.bsky.social · 18/08/2025
Kudos to Terry Tao for this: newsletter.ofthebrave.org/p/im-an-awar...
newsletter.ofthebrave.org
I’m an award-winning mathematician. Trump just cut my funding.
The “Mozart of Math” tried to stay out of politics. Then it came for his research.
060
emilyriehl.bsky.social @emilyriehl.bsky.social · 07/08/2025
@sciam.bsky.social gave me the opportunity to share some personal thoughts about the recently reported AI results from the #imo2025: www.scientificamerican.com/article/math...
scientificamerican.com
AI Crushed the Math Olympiad—Or Did It?
AI models supposedly did well on International Math Olympiad problems, but how they got their answers reminds us why we still need people doing math
096
Reposted by @emilyriehl.bsky.social
Dan Garisto @dangaristo.bsky.social · 01/08/2025
While reporting, I stumbled across a recent talk that Tao gave on the subject of his latest research. youtu.be/cXqz5hgxlLM
In June, Tao gave an online talk on the twin primes conjecture as part of Scientific Webinars in Solidarity with Palestine. “Sometimes you wonder what’s the point of doing mathematics in such a time,” he said to the virtual audience. “But at least one thing that mathematics offers is that it’s at least one place where we can actually resolve even very bitter disputes.”
0173
Reposted by @emilyriehl.bsky.social
Dan Garisto @dangaristo.bsky.social · 01/08/2025
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.
33816
Reposted by @emilyriehl.bsky.social
Dan Garisto @dangaristo.bsky.social · 01/08/2025
The Trump administration is launching a new wave of attacks on universities, and UCLA is the latest target. My reporting on how the university has been hit and how some of its scientists are responding: www.science.org/content/arti...
science.org
NSF and NIH suspend grants to UCLA
Move follows Trump administration finding that school didn’t effectively combat antisemitism
14935
emilyriehl.bsky.social @emilyriehl.bsky.social · 11/07/2025
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:
000
emilyriehl.bsky.social @emilyriehl.bsky.social · 30/06/2025
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.
emilyriehl.github.io
Talks
academic webpage for Emily Riehl
132
Reposted by @emilyriehl.bsky.social
xenaproject.bsky.social @xenaproject.bsky.social · 19/06/2025
Last chance to see @emilyriehl.bsky.social at the LMS next month!
031
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 31/05/2025
With of course insightful comments from Alison Gopnik @alisongopnik.bsky.social, Thomas Hertog, Margaret Johnson @mejohnson81.bsky.social, Harrison Hartle, David Haig, and Claudia Passos Ferreira. Next, a panel moderated by JHU's Elizabeth Ogburn, and we're done!
1201
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 31/05/2025
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).
3132
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 31/05/2025
Natural Philosophy Symposium day 3! * Melanie Mitchell @melaniemitchell.bsky.social puts limits on how much LLMs understand the world. * Emily Adlam says there aren't rational credences when you don't know who you are in the world. * Chris Kempes argues that there are easy questions in biology.
2111
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 30/05/2025
Thanks also to commentators for today: Saakshi Dulani, Steven Gross, Naftali Weinberger @dagophile.bsky.social, Jeremy Goodman, Justin Clarke-Doane, and E.J. Green. So many big ideas bouncing around a collection of wonderful people. Looking forward to the big finale tomorrow.
1172
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 30/05/2025
I should also have tagged @sandradmitchell.bsky.social from yesterday, and extended major props to our panel moderators, Chanda Prescod-Weinstein @chanda.bsky.social (yesterday) and Robert Rynasiewicz (today). And Alison Gopnik @alisongopnik.bsky.social's talk last night was a huge success!
1151
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 30/05/2025
* Simon DeDeo explained how some theorems might only have ungraspably long proofs. * Emily Riehl @emilyriehl.bsky.social talked about computers proving theorems. * Anil Seth @anilseth.bsky.social suggested that it could be harder than you think for AI to ever be truly conscious.
3171
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 30/05/2025
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.
1191
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 29/05/2025
Plus wonderful comments by Ryan Smith, Brandon Ogbunu @cbo.bsky.social, Henry Farrell @himself.bsky.social, Sharlen Moore @sharlenmoore.bsky.social, and Michael Wong @miquai.bsky.social. That's just day one! Looking forward to Alison Gopnik @alisongopnik.bsky.social's public lecture tonight.
1321
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 29/05/2025
* 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
2373
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 29/05/2025
* David Chalmers @davidchalmers.bsky.social suggesting that a mathematical theory of consciousness will inevitably leave something out * Sandra Mitchell emphasizing the pragmatic, complex, and socially-situated features of science * Nima Arkani-Hamed giving two cheers for "shut up and calculate"
1361
Reposted by @emilyriehl.bsky.social
Sean Carroll @seanmcarroll.bsky.social · 29/05/2025
The Natural Philosophy Symposium is underway! I had some idea of live-skeeting, but the real-time event is too absorbing. www.naturalphilosophyhopkins.org/natural-phil... Anyway, we've had: (cont)
1119528
Reposted by @emilyriehl.bsky.social
Simons Institute for the Theory of Computing @simonsinstitute.bsky.social · 11/04/2025
"Part of the reason that the AI community is so interested in math is that math is hard." @emilyriehl.bsky.social on Testing Artificial Mathematical Intelligence at the Simons Institute's workshop on AI for Mathematics and Theoretical Computer Science. simons.berkeley.edu/workshops/si...
172
emilyriehl.bsky.social @emilyriehl.bsky.social · 07/04/2025
I am proud today to join the editorial board of a new diamond open access journal in logic: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik zml.international The website includes an open letter from the editorial board with the following text:
zml.international
ZML - Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik is an electronic Diamond Open Access research journal in mathematical logic publishing original research papers in all areas of m...
120
Reposted by @emilyriehl.bsky.social
Jeremy Koster @jeremykoster.bsky.social · 19/02/2025
Upon learning that yesterday would be my last day as a program officer at the National Science Foundation, I shared this parting message with my colleagues. The next few months will be frenetic and stressful for them. Here are some things that you can do to help them with the mission ahead. (1)
692415820