The Simons-Laufer Mathematical Sciences institute, or #SLMath (formerly the Mathematical Sciences Research Institute, or MSRI) has recently restructured its program formats, and is now announcing three new research initiatives, whose applications open on Sep 1 2025: * AxIOM (Accelerating Innovation in Mathematics) is a new, month-long research program at SLMath, designed to accelerate innovation and introduce transformative ideas into the mathematical sciences. Programs begin in Spring 2027. * PROOF (Promoting Research Opportunities and Open Forums) is a two-week summer program designed to provide research opportunities for U.S.-based mathematicians, statisticians, and their collaborators in the U.S. and abroad, whose ongoing research may have been impacted by factors such as heavy teaching loads, professional isolation, limited access to funding, heavy administrative duties, personal obligations, or other constraints. Programs begin June-July 2026. * Lasting Alliance Through Team Immersion and Collaborative Exploration (LATTICE) is a yearlong program which provides opportunities for U.S. mathematicians to conduct collaborative research on topics at the forefront of the mathematical and statistical sciences. Programs begin June-July 2026.

SLMath

Independent non-profit mathematical sciences research institute founded in 1982 in Berkeley, CA, home of collaborative research programs and public...

(Disclosure: I am vice-chair of the board of trustees at SLMath.)

Recently, the erdosproblems.com site run by Thomas Bloom has enabled a discussion forum for each of the problems on the site. As a result of some discussions I had with Stijn Cambie and Vjeko Kovac on this forum, we were able to come up with a short elementary solution to a previously open problem on the site:

Erdős Problem #379 - Discussion thread

. In fact the proof is sufficiently short and elementary that it was straightforward to formalize in Lean!

GitHub

analysis/analysis/Analysis/Misc/erdos_379.lean at main · teorth/analysis

A Lean companion to Analysis I. Contribute to teorth/analysis development by creating an account on GitHub.

I wrote an op-ed on the world-class STEM research ecosystem in the United States, and how this ecosystem is now under attack on multiple fronts by the current administration:

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.

In response to a recent court ruling, the NSF has unsuspended its various grants to UCLA, including the one to IPAM (and my own personal grant). There is however the possibility of an appeal; and the (somewhat larger) funding from tne NIH to UCLA remains suspended at this time. Over the last week or so I have been involved in emergency fundraising (mostly on behalf of IPAM), and am heartened by the broad and significant support we have received, both for immediate funding needs, as well as offers to sponsor some future events at the institute. It is a small silver lining to know that there was a reservoir of goodwill and private resources that one could tap into in times of crisis, although the time and energy required to perform this fundraising was significant. In any event, this is no way to govern a country with a world-class research ecosystem, with quite unnecessary injections of uncertainty and chaos into what had been a predictable funding enviroment conducive to long-term planning.

I have recently learned that there was a cryptocurrency launched with my name attached to it. For the record, I am not involved with any such crypto project.