@emilyriehl.bsky.social
Pinned
Talks
academic webpage for Emily Riehl
emilyriehl.github.io
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/
and slides (when available) will eventually be added.
@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...
www.scientificamerican.com/article/math...
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
www.scientificamerican.com
August 7, 2025 at 4:31 PM
@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...
www.scientificamerican.com/article/math...
Reposted
While reporting, I stumbled across a recent talk that Tao gave on the subject of his latest research. youtu.be/cXqz5hgxlLM
August 1, 2025 at 6:29 PM
While reporting, I stumbled across a recent talk that Tao gave on the subject of his latest research. youtu.be/cXqz5hgxlLM
Reposted
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.
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.
August 1, 2025 at 6:29 PM
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.
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.
Reposted
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...
My reporting on how the university has been hit and how some of its scientists are responding:
www.science.org/content/arti...
NSF and NIH suspend grants to UCLA
Move follows Trump administration finding that school didn’t effectively combat antisemitism
www.science.org
August 1, 2025 at 6:11 PM
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...
My reporting on how the university has been hit and how some of its scientists are responding:
www.science.org/content/arti...
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:
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/
and slides (when available) will eventually be added.
Talks
academic webpage for Emily Riehl
emilyriehl.github.io
July 11, 2025 at 7:02 PM
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:
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/
and slides (when available) will eventually be added.
Talks
academic webpage for Emily Riehl
emilyriehl.github.io
June 30, 2025 at 12:02 PM
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/
and slides (when available) will eventually be added.
Reposted
Last chance to see @emilyriehl.bsky.social at the LMS next month!
🚨 Down to just 🔟 places left for this year's LMS General Meeting and Hardy Lecture, taking place at De Morgan House (and online) on 4 July and featuring speakers Emily Riehl and Clark Barwick @edinunimaths.bsky.social.
For further details and to register ➡️ www.lms.ac.uk/events/lms-g...
For further details and to register ➡️ www.lms.ac.uk/events/lms-g...
June 19, 2025 at 10:04 PM
Last chance to see @emilyriehl.bsky.social at the LMS next month!
Reposted
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!
Next, a panel moderated by JHU's Elizabeth Ogburn, and we're done!
May 31, 2025 at 8:25 PM
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!
Next, a panel moderated by JHU's Elizabeth Ogburn, and we're done!
Reposted
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).
* 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).
May 31, 2025 at 8:22 PM
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).
* 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).
Reposted
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.
* 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.
May 31, 2025 at 8:16 PM
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.
* 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.
Reposted
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.
So many big ideas bouncing around a collection of wonderful people. Looking forward to the big finale tomorrow.
May 30, 2025 at 8:57 PM
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.
So many big ideas bouncing around a collection of wonderful people. Looking forward to the big finale tomorrow.
Reposted
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!
And Alison Gopnik @alisongopnik.bsky.social's talk last night was a huge success!
May 30, 2025 at 8:55 PM
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!
And Alison Gopnik @alisongopnik.bsky.social's talk last night was a huge success!
Reposted
* 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.
* 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.
May 30, 2025 at 8:52 PM
* 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.
* 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.
Reposted
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.
* 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.
May 30, 2025 at 8:49 PM
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.
* 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.
Reposted
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.
That's just day one! Looking forward to Alison Gopnik @alisongopnik.bsky.social's public lecture tonight.
May 29, 2025 at 8:32 PM
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.
That's just day one! Looking forward to Alison Gopnik @alisongopnik.bsky.social's public lecture tonight.
Reposted
* 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
* 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
May 29, 2025 at 8:30 PM
* 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
* 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
Reposted
* 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"
* Sandra Mitchell emphasizing the pragmatic, complex, and socially-situated features of science
* Nima Arkani-Hamed giving two cheers for "shut up and calculate"
May 29, 2025 at 8:28 PM
* 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"
* Sandra Mitchell emphasizing the pragmatic, complex, and socially-situated features of science
* Nima Arkani-Hamed giving two cheers for "shut up and calculate"
Reposted
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)
www.naturalphilosophyhopkins.org/natural-phil...
Anyway, we've had:
(cont)
May 29, 2025 at 8:27 PM
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)
www.naturalphilosophyhopkins.org/natural-phil...
Anyway, we've had:
(cont)
Reposted
"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...
April 11, 2025 at 2:59 PM
"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...
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:
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 - 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...
zml.international
April 7, 2025 at 5:26 PM
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:
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:
Reposted
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)
February 19, 2025 at 7:08 PM
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)