Fascinating article about Navier-Stokes solution and what mathematicians have learned … “so far humanity has learned very little from the solution. Although they believe the proof to be technically correct, the dense, 166-page manuscript drafted by AI is proving to be a difficult read. "So far it's been very difficult to really extract any human understanding from this new AI proof," said James Maynard, a mathematician at the University of Oxford. The paper is not written for humans," said Javier Gómez-Serrano, a mathematician at Brown University who uses AI in his own research. He said he believes the proof could help advance the field after "some serious re-writing," but "as of today, the paper doesn't teach us much."”
npr.org/2026/09/22/nx-s1-596…
The important question is not: How much faster can AI prove theorems?
It is: What happens to mathematics when theorem production becomes much faster than mathematicians can absorb it?
medium.com/@ganeshonline6/te…
On September 20, 1996 Paul Erdős left.
Here are some great books for the general audience (students, too!) about Erdős …
•“The Man Who Loved Only Numbers” by Paul Hoffman.
•“My Brain is Open” by Bruce Schechter
•“The Boy Who Loved Math” by Deborah Heiligman
For those interested … While on the theme of touring Princeton Cemetery, I also stopped by Gödel’s house. It’s a private residence so I respected their privacy … no picture. Rutgers University Math Dept has a website dedicated to the homes of famous mathematical residents titled “From Genius to Genius: A Walking Tour in Princeton” by Hadas Zeilberger.
sites.math.rutgers.edu/~zeil…@RutgersSASMPS@AlexKontorovich
Stopped by the Princeton Cemetery today to pay my respects … sadly von Neumann’s stone needs some help! Rutgers University Math Dept has a list of graves if you are interested …
sites.math.rutgers.edu/~zeil…
Sadly still no traditional proof … but a great read for motivated math students … “The Four-Color Theorem Gets a Rare New Proof”
quantamagazine.org/the-four-…
“AI Has Solved One of Math’s $1 Million Millennium Prize Problems … Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” But the massive result is not without controversy.”
quantamagazine.org/ai-has-so…
Fields Medalist Terence Tao:
"AI lets us create scientific output much faster, but it could come at the cost of nurturing the next generation of scientists"
If AIs replace grad students, they may produce grad-student-level papers — but we risk losing the next generation of scientists
Great interview with Terry Tao on “Mathematics, AI and the Future of Discovery” (and a little biographical, too!) at the Asian American Scholar Forum. @AASForumOrgpiped.video/TtOMM8HrT64?is=aCBQ…
Simons Foundation Launches Collaboration on Universal Statistics in Number Theory … “The new collaboration will explore randomness and correlations in number theory, tackling problems related to the Riemann zeta function, prime numbers and other major questions in the field.”
simonsfoundation.org/2026/08…@SimonsFdn