Trying to share the joy of mathematics, its history & interesting problems. You can see my math/physics stamp collection: instagram.com/mathphilately
- Tweets 2,227
- Following 52
- Followers 576
- Likes 383
Report of Summit on PhD Math Education in the Age of AI … from the introduction … “As we write (September 2026) the mathematics profession is at the beginning of a profound period of change, due to the rise of artificial intelligence. The effects on the mathematics
community along many axes are overwhelming. In particular, our students face great uncertainty as they look forward to their education and careers. They have urgent questions for
both the short and long term: “Should I be using AI in my research and if so, how?” “What will the mathematics profession of the future look like and will there be a place for me in it?””
cmsa.fas.harvard.edu/media/2…
1
3
351
Interesting read from Oxford mathematician Jon Keating … “Mathematics needs a sober reckoning with AI. OpenAI’s solving of an iconic challenge to flex its technological muscles raises deep questions about how mathematicians view their subject.”
timeshighereducation.com/opi…
2
751
Interesting … should we trust Lean certificates?
The debate over AI proofs is moving beyond one question: “Is the proof correct?”
At a mathematics seminar yesterday, Mathias Stout raised two deeper unresolved questions about AI-generated formal proofs:
Why should we trust LLM-generated Lean certificates?
And how do we verify that the theorem encoded in Lean actually corresponds faithfully to the original mathematical problem?
Machine verification may check a proof inside a formal system. But humans still have to verify that we formalized the right statement.
That distinction could become crucial as AI enters serious mathematical research.
46
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…
30
144
601
81,167
Happy Birthday to Mikhail Vasilevich Ostrogradski … September 24, 1801. Ostrogradski worked on hydrodynamics, elasticity, heat and electricity.
See more: mathshistory.st-andrews.ac.u…
His stamp: instagram.com/p/CrJ4h-1rVZW/…
3
321
For those interested, I thought it might be nice to share my weekly stamp post from Instagram.
instagram.com/p/DdjAk26xOb8/…
60
Interesting take on things … “If math is more than proof, then we need to better celebrate the rest of it.”
terrytao.wordpress.com/2026/…
1
67
Exactly …
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…
1
1
124
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
1
73
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
72
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…
1
9
430
Something fun from the Princeton Tiger @tigermagazine …
instagram.com/p/DdMn7CGGm42/…
74
Clay Mathematics Institute … Navier-Stokes Announcement …
claymath.org/news/navier-sto…
1
1
111
Interesting take on AI in mathematics from Fields Medalist James Maynard …
piped.video/shorts/R9VQnNv5S…
98
From Terry Tao … “A Severe Misalignment of Al in Mathematics” …
terrytao.wordpress.com/2026/…
1
85
Great video … “The paradox at the heart of AI and science” with Terence Tao …
piped.video/svl_1upFpQo?si=LCeG… via @YouTube
1
106
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-…
59
“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…
49