@mathmoves

The Simons Laufer Mathematical Sciences Institute (SLMath) in Berkeley, California (formerly MSRI). Learn more: https://xitter.cf/t.co/GBm5Ia71Cy

 Berkeley, CA
slmath.org
Joined April 2010
  • Tweets3.1K
  • Following1.2K
  • Followers9.4K
634Media
SLMath (MSRI) retweeted
Wuyang Chen@WuyangCAug 23
Join our SLMath workshop Dec 7-8, in Berkeley or on Zoom! Speakers span PDE analysis and Mathlib. Travel grants available; apply now. We seek progress and attention for verifiable PDE analysis. Thanks to our host @mathmoves and to @RenPhilanthropy, with support from @xtxmarkets!
SLMath (MSRI)@mathmovesAug 21
Register: SLMath workshop "Frontier of PDE Formalization and Analysis with AI", Dec. 7-8, 2026 (Berkeley / Online). Limited funding for in-person participation for early career mathematicians, including graduate students (Oct. 15 funding deadline): slmath.org/workshops/1207
Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

ALT Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

2
12
966
SLMath (MSRI) retweeted
Patrick Shafto@patrickshaftoAug 22
Register! Join us!
SLMath (MSRI)@mathmovesAug 21
Register: SLMath workshop "Frontier of PDE Formalization and Analysis with AI", Dec. 7-8, 2026 (Berkeley / Online). Limited funding for in-person participation for early career mathematicians, including graduate students (Oct. 15 funding deadline): slmath.org/workshops/1207
Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

ALT Workshop flyer for "Frontier of PDE Formalization and Analysis with AI" workshop at SLMath. All details available at https://www.slmath.org/workshops/1207. This workshop brings together three communities — PDE analysts, Lean/Mathlib developers, and AI/AI4Math researchers from both academia and industry — to chart a shared path forward. Some familiarity with Lean is helpful.

7
25
2,685
Thanks to Dr. @umaabythelake for the amazing talk on AI and machine learning applications the Jet Propulsion Laboratory. Thanks also to @mathmoves for hosting us again.
Dr. Umaa Rebbapragada speaking on machine learning applications at the Simons Laufer Mathematical Sciences Institute as part of a UC Berkeley Space Sciences Laboratory event.

ALT Dr. Umaa Rebbapragada speaking on machine learning applications at the Simons Laufer Mathematical Sciences Institute as part of a UC Berkeley Space Sciences Laboratory event.

The auditorium of the at the Simons Laufer Mathematical Sciences Institute in shades of orange and brown. Dr. Umaa Rebbapragada speaking on machine learning applications before attendees from the UC Berkeley Space Sciences Laboratory.

ALT The auditorium of the at the Simons Laufer Mathematical Sciences Institute in shades of orange and brown. Dr. Umaa Rebbapragada speaking on machine learning applications before attendees from the UC Berkeley Space Sciences Laboratory.

2
7
634
SLMath (MSRI) retweeted
Zalafilms@ZalaFilmsMar 2
As a participant in #YearofMath2026, @Zalafilms is offering #JourneysofBlackMathematicians and @SecretsMathFilm to community centers, public libraries, and local schools at reduced rates Visit theyearofmath.org/ theyearofmath.org/programs/#…
5
1
7
525
SLMath (MSRI) retweeted
Zalafilms@ZalaFilmsFeb 16
The National Association of Mathematicians (NAM) online Archival Collection featuring many of the more than 90 African American mathematicians interviewed for the 'Journeys of Black Mathematicians’ film series is now up! radar.auctr.edu/national-ass… zalafilms.com/jbm/bios.html 1/1
Journeys of Black Mathematicians Video Biography Series montage

ALT Journeys of Black Mathematicians Video Biography Series montage

Suzanne L. Weekes

ALT Suzanne L. Weekes

Dawn A. Lott

ALT Dawn A. Lott

3
4
412
SLMath (MSRI) retweeted
SLMath (MSRI)@mathmovesFeb 3
Call for Membership: Spring 2027 AxIOM Programs at SLMath. Apply by March 31, 2026 via mathprograms.org/db/SLMath for visits of 1-4 weeks to participate in new short-term, intensive collaborative research programs. Eligibility: Researchers with a PhD or advanced graduate standing.
Call for Membership: Spring 2027 AxIOM Programs at SLMath (MSRI) in Berkeley, California. Visits of 1-4 weeks. Apply by March 31, 2026 via MathPrograms.org. 1. Commutative Algebra, Representation Theory, and Other Interactions (January 25 - February 19, 2027) 2. Machine Learning for Mathematics (March 1-26, 2027) 3. Building the Mathematical Library of the Future (March 15 - April 9, 2027) Logos: National Science Foundation, SLMath

ALT Call for Membership: Spring 2027 AxIOM Programs at SLMath (MSRI) in Berkeley, California. Visits of 1-4 weeks. Apply by March 31, 2026 via MathPrograms.org. 1. Commutative Algebra, Representation Theory, and Other Interactions (January 25 - February 19, 2027) 2. Machine Learning for Mathematics (March 1-26, 2027) 3. Building the Mathematical Library of the Future (March 15 - April 9, 2027) Logos: National Science Foundation, SLMath

2
3
689
Congratulations to the 2026 Mathical Book Prize Winners! NCTE’s representatives on the Mathical Book Prize Committee this year are Gabriella DeLeon-DeHaan and Katie Papesh. Sarah Miller, NCTE Manager of Book Initiatives & Intellectual Freedom, delivered remarks at today's event.
SLMath (MSRI)@mathmovesFeb 19
The 2026 Mathical Book Prize winners are here! 30 new titles feature outstanding fiction and nonfiction for ages 2-18 with inspiring math themes. View this year's Mathical Award Winners and Honor Books at mathicalbooks.org/2026/02/20…. #mathicalbooks @ncte @NCTM @CBCBook
2026 Mathical Book Prize Award Winners and Honor Books cover art. Find all the winners at https://www.mathicalbooks.org including Mathical Booklist and resources for ages 2-18. Mathical is a program of the Simons Laufer Mathematical Sciences Institute (SLMath) in partnership with the National Council of Teachers of English (NCTE) and the National Council of Teachers of Mathematics (NCTM), in coordination with the Children's Book Council (CBC).

ALT 2026 Mathical Book Prize Award Winners and Honor Books cover art. Find all the winners at https://www.mathicalbooks.org including Mathical Booklist and resources for ages 2-18. Mathical is a program of the Simons Laufer Mathematical Sciences Institute (SLMath) in partnership with the National Council of Teachers of English (NCTE) and the National Council of Teachers of Mathematics (NCTM), in coordination with the Children's Book Council (CBC).

2
4
945
Thanks to professor Francis Nimmo of @EpsUcsc, who launched our special Friends of SSL colloquium series with a talk on the Moon's formation. A big thanks also to our friends at @mathmoves for hosting the talk in your beautiful auditorium.
Francis Nimmo, Professor of Earth and Planetary Sciences at UC Santa Cruz, smiling for a photo after a talk at the Simons Laufer Mathematical Sciences Institute at UC Berkeley.

ALT Francis Nimmo, Professor of Earth and Planetary Sciences at UC Santa Cruz, smiling for a photo after a talk at the Simons Laufer Mathematical Sciences Institute at UC Berkeley.

Francis Nimmo, Professor of Earth and Planetary Sciences at UC Santa Cruz, speaking in front of a crowd at the Simons Laufer Mathematical Sciences Institute at UC Berkeley.

ALT Francis Nimmo, Professor of Earth and Planetary Sciences at UC Santa Cruz, speaking in front of a crowd at the Simons Laufer Mathematical Sciences Institute at UC Berkeley.

Francis Nimmo, Professor of Earth and Planetary Sciences at UC Santa Cruz, speaking behind a podium at the Simons Laufer Mathematical Sciences Institute at UC Berkeley.

ALT Francis Nimmo, Professor of Earth and Planetary Sciences at UC Santa Cruz, speaking behind a podium at the Simons Laufer Mathematical Sciences Institute at UC Berkeley.

2
3
573
SLMath (MSRI) retweeted
Paata Ivanisvili
@PI010101Feb 5
It’s no exaggeration to say that behind every Annals paper there is a remarkable, lasting story--how the ideas emerged, struggled, evolved, and finally came together. Among the best times I spent in Berkeley (SLMath @mathmoves) and Princeton.
孤独な鳥@Arnold15912Jan 7
Rademacher type and Enflo type coincide-Annals of Mathematics-Paata Ivanisvili, Ramon van Handel, Alexander Volberg A nonlinear analogue of the Rademacher type of a Banach space was introduced in classical work of Enflo. annals.math.princeton.edu/20…
1
5
48
7,579
The National Science Foundation (NSF) has announced that it will invest more than $74 million in six U.S. mathematical research institutes. Link in comments.
4
17
2
47
6,679
SLMath (MSRI) retweeted
Tau Day@TauDay28 Jun 2025
Happy Tau Day, everyone! 2025 marks the 15th anniversary of Tau Day and The Tau Manifesto. Please enjoy this year’s State of the Tau update with some of the happenings since Tau Day last year. tauday.com/state-of-the-tau#…

No, really, pi is wrong: The Tau Manifesto

For millennia, the circle has been considered the most perfect of shapes, and the circle constant π captured the geometry of the circle in a single number. But π is wrong, and it’s time to set things...

tauday.com
6
12
1
27
2,555
Read Senior Scientist Nikhil Srivastava's report from our joint workshop with @mathmoves last month on AI for Mathematics and Theoretical Computer Science. simons.berkeley.edu/news/sim…
4
11
1,975
SLMath (MSRI) retweeted
SLMath (MSRI)@mathmoves16 Apr 2025
SLMath upcoming free events in Berkeley, CA: Wed 4/30 Young People's Symphony Orchestra chamber music concert - Thurs 5/1 Roger Antonsen: Emerging Complexity art opening reception - Tues 5/6 Uniform Convergence play by postdoc Corrine Yap. All are welcome: slmath.org/news-and-events/s…
Upcoming free public events at SLMath, details at https://www.slmath.org/news-and-events/spring-2025-events

ALT Upcoming free public events at SLMath, details at https://www.slmath.org/news-and-events/spring-2025-events

1
652
SLMath (MSRI) retweeted
SLMath (MSRI)@mathmoves25 Apr 2025
Read our newest scholar interview series with 2024-25 SLMath Journalist-in-Residence Siobhan Roberts, a regular NY Times contributor and biographer. This month, Roberts talked to geometric analyst and Fall 2024 visitor Zihui Zhao (Johns Hopkins Univ.): slmath.org/news-and-events/s…
Photo: Zihui Zhao

ALT Photo: Zihui Zhao

2
7
724
Join the Young People's Symphony Orchestra at its free Community Chamber Concert! 🎻 🎼 Wednesday, April 30 | 5:30 - 7 pm @mathmoves | 17 Gauss Way 1st Floor | Eisenbud Auditorium Register: ypsomusic.org/events – at Berkeley, CA
1
3
446
SLMath (MSRI) retweeted
SLMath (MSRI)@mathmoves11 Mar 2025
To celebrate #May12WIM this year with the IMU Committee for Women in Mathematics, event hosts worldwide are invited to screen Journeys of Black Mathematicians and @SecretsMathFilm between May 1-20, courtesy of @ZalaFilms. Details: may12.womeninmaths.org
1
3
5
702
Distinguished Professor Steven Evans is serving the spring 2025 semester as a Research Professor in the Probability and Statistics of Discrete Structures program at the Simons Laufer Mathematical Sciences Institute. statistics.berkeley.edu/abou… #BerkeleyStats
1
7
610
Congratulations to AMS member and author Ingrid Daubechies, and all the @Mathemalchemy creators for bringing the wonders of mathematics to so many people. Read more at the NYTimes. nytimes.com/2025/03/14/scien…

A Mathematical ‘Fever Dream’ Hits the Road (Published 2025)

Meet “Mathemalchemy,” a traveling math-meets-art installation coming eventually to a dimension near you.

nytimes.com
5
14
1,777
Submissions are being accepted through March 31 for the @SciCommAwards, given by @thenasem in partnership with @schmidtsciences, which honor science communicators, science journalists, and research scientists. Apply now: nationalacademies.org/awards… #scicomm
6
6
20
6,477
Terence Tao's Simons Foundation Presidential Lecture on "Machine-Assisted Proofs" is now available to watch: simonsfoundation.org/event/m… #math

Machine-Assisted Proofs

For centuries, mathematicians have relied on computers to perform calculations, suggest conjectures, and assist in developing mathematical proofs. In light of more modern tools such as interactive…

simonsfoundation.org
2
47
3
215
12,125
Load more