Nima Rasekh
@nimarasekh.bsky.social
Mathematician at @unigreifswald.bsky.social Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪 He/Him/His Interested in: homotopy theory, category theory, formalization of mathematics, AI https://nimarasekh.github.io
🌞Summer school announcement🌞 📄 Theory and Applications of (∞,n)-Categories 📍BIRS-IAN, UBC Okanagan 🗓️July 4–9, 2027 The school will explore the theory of (∞,n)-categories and its applications in rep. theory & math. physics via four lecture series. Link below👇 (1/2)
#Math and #AI is the central discussion of our moment. Glad to see the latest addition to this important discourse! The AI.MATH initiative by Claudia Alfes, Thomas Nikolaus & Andreas Thom: ai.math.ms/en/
AI.MATH – AI and Mathematics
The AI.MATH initiative puts forward draft positions on AI in mathematical research and degree programmes for discussion, alongside questions and possible answers.
ai.math.ms
Finally a great statement by many excellent mathematicians about #Math & #AI that I fully endorse. I invite you to consider it as well: mathandai.org
Declaration — Math and AI
Read the declaration and add your name.
mathandai.org
#AI + #Formalization are already reshaping mathematical research. I’m just as excited about math education: proof assistants can give students immediate feedback, support experimentation, and make new foundations feel less intimidating—even in very abstract subjects. 🤖📐🎓 More below 👇 (1/2)
Fun fact I realized today.🤯 I am on the homepage of the #Hausdorff Research Institute for Mathematics: www.mathematics.uni-bonn.de/him Made many great memories at the beautiful villa. Looking forward being back there! #mathematics #formalization #trimesterprogram
Hausdorff Research Institute for Mathematics
Bonn International Graduate School (BIGS) Mathematics
mathematics.uni-bonn.de
✨ Conference wrap-up! ✨ This week we gathered at the Mittag-Leffler Institute for Formalizing Higher Categories — a wonderful week of math, formalization, proof assistants, and collaboration. 🧠💻🚀 #HigherCategories #Formalization #ProofAssistants #AIForMath #CategoryTheory (1/3)
In June 2024, during the “Prospects of Formal Mathematics” trimester in Bonn, a coffee-room chat with Johan Commelin ☕️ turned into an idea: formalizing higher categorical concepts is hard, so there really should be a conference about it! 🚀 More details below 👇 #FormalMathematics (1/2)
What is the future of #math #AI and #formalization ? Will AI just replace the work of mathematicians? Or will it rather be a complement? I imagine a complementary role and so I'm still optimistic, however, this might be naive, and it's good to ponder alternatives. (1/2)
🚨New paper alert!🚨 My new paper with Qi Zhu is out! We show that condensed mathematics, due to Scholze & Clausen, admits a fractured structure. This means condensed objects are "gros objects" with the "petit objects" given by regular sheaves on spaces! Links in next post👇
🎓 PhD Position Alert! 🚀 Are you looking for a PhD position in category theory and type theory? 📚✨ Then check out this exciting opportunity at Utrecht University 🇳🇱 under the supervision of Paige Randall North! 🗓 Deadline: April 6th, 2026 🔗 Link in the next post 👇
🚨 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 · 11mo 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👉
2025 was an exciting year!🥳🥳🥳 2026 will be an even better year!🎉🎉🎉 If you want to know more about what I have been up to this year, and what my plans are for 2026, check out the next post👉
Looking for a post-doctoral position in algebraic topology? Check out this position in the group of homotopykat.bsky.social at EPFL! If you have any questions about the position, the group, EPFL or living in @villelausanne.bsky.social, then please reach out! Links and more details below👉
Kathryn Hess Bellwald (@homotopykat.bsky.social)
Mathematician, lover of mountains, mother of four, EPFL professor
homotopykat.bsky.social
🌞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👉
This past year I spent some time thinking about filter quotient models of homotopy type theory. I am happy to announce that I now have a chance to talk about it 📍 First Meeting of the Higher Structures Network, Nottingham, UK 🗓️ Thursday Nov. 19 Links in the next post👉
🚨 Position alert 🚨 Looking for a position that involves programming, quantum computing, and cutting edge mathematics? Then check out this Research Software Engineer position in the research group of Cihan Okay: www.mathjobs.org/jobs/list/27...
MathJobs from the the American Mathematical Society
Mathjobs is an automated job application system sponsored by the AMS.
mathjobs.org
🚀 Exciting news! I’m organizing the conference Formalizing Higher Categories at Institut Mittag-Leffler (Stockholm, June 2026) — bringing together experts to explore how far ∞-category theory can be formalized in proof assistants (like Lean). More info in the next post 👇
Definitiv ein guter Schritt von @bettinamartin.bsky.social für unser Land #MV und @unigreifswald.bsky.social um Talente aus den #USA anzuziehen! -Natürlich nur wenn Interessierte auch passend unterstützt und/oder finanziert werden können- www.ostsee-zeitung.de/mecklenburg-...
Als Headhunter ins Trump-Land: Ministerin Martin will Forscher für MV abwerben
Donald Trump fährt einen rigiden Wissenschaftskurs. Die Ressortchefin aus Schwerin kritisiert das scharf, sieht es aber auch als Chance für MV: Gemeinsam mit den Unis Rostock und Greifswald will Betti...
ostsee-zeitung.de
This article by the always insightful @emilyriehl.bsky.social is very relatable indeed: www.scientificamerican.com/article/math... #AI doing exercises and problems in mathematics looks impressive, but how does that relate to research mathematics? The honest answer is: we don't know yet!
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
scientificamerican.com
Rare #achievement unlocked: Having 3 consecutively numbered papers on the #arXiv! Never seen this before, so I count this as a record! If you know of any other cases like this (or even higher) let me know!
🚨 New paper(s) alert! 🚨 In a series of 3 papers I use a technical construction (filter quotients) to contruct models of (simplicial) homotopy type theory (HoTT). This helps better understand #formalization and possibly the role for #AI in (simplicial) HoTT. Links in the next posts:
Nima Rasekh Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories? https://arxiv.org/abs/2508.07737
Nima Rasekh Non-Standard Models of Homotopy Type Theory https://arxiv.org/abs/2508.07736
Nima Rasekh Filter Quotient Model Structures https://arxiv.org/abs/2508.07735
I am very excited to announce that my joint paper with @homotopykat.bsky.social titled ``Shadows are Bicategorical Traces" has been accepted in Advances in Mathematics. The text might be very technical, but the intro is meant to be somewhat accessible to the casual reader: arxiv.org/abs/2109.02144
This link will take you to a page that’s not on LinkedIn
lnkd.in
Taichi Uemura Colimits in the $\infty$-category of $\infty$-topoi and \'etale morphisms https://arxiv.org/abs/2506.10431
I recently contributed to the FrontierMath Tier 4 Challenge from @epochai.bsky.social which aims to design an #AI benchmark for advanced mathematics: epoch.ai/frontiermath... I found this experience fascinating & so elaborated on it somewhat. Check it out: www.linkedin.com/posts/nimara...
Verrückte Zeiten wenn ich & #MarkusSoeder die selbe Meinung haben (wenn auch ein Exil-@harvard.edu ein bisschen ulkig ist). Internationale Wissenschaft nach 🇩🇪 zu holen ist genau der richtige Ansatz und muss finanziell unterstützt werden! www.spiegel.de/politik/deut... via @derspiegel @spiegel.de
Ministerin Bär plant »Rundum-sorglos-Paket« für ausländische Forschende
US-Präsident Trump macht ihnen das Forschen schwer, Wissenschaftsministerin Bär will nun Spitzenkräfte von US-Hochschulen nach Deutschland holen. Parteifreund Söder schwärmt bereits von einem »Exilcam...
spiegel.de
A first concrete step by @ec.europa.eu seizing the current situation and further investing in the scientific future of 🇪🇺 via the (aptly named) "Choose Europe" Initiative. Looking forward to further targeted efforts attracting global scientific talent! commission.europa.eu/topics/resea...
Choose Europe: advance your research career in the EU
Move to the EU as a researcher or scientist. Discover how to relocate, find jobs and funding, and enjoy Europe's excellent quality of life.
commission.europa.eu
