Math prof. Author of long-form textbooks on proofs (amzn.to/3oZrMNu), real analysis (amzn.to/2kjvMwh) & math history (a.co/d/8pLSo0C).

Sacramento, CA
🧵 My 3rd book is now out! It is on the fascinating history of math. How did people throughout history think about math?What problems did they care about? How did they express them? How were they solved? This book includes a lot of historical math. a.co/d/gsoNKxP
49
114
822
229,522
The kiddo continues to be into math this weekend. Found a free spot on dad’s blackboard to solve some problems. Working on 5+100 right now.
My son asked me what infinity plus ten equals. I’ve been training for this moment my whole life.
22
38
1,549
51,551
My son asked me what infinity plus ten equals. I’ve been training for this moment my whole life.
258
509
23,062
1,930,190
“The reports of my death have been greatly exaggerated” —human math researchers
Some fascinating developments following OpenAI's shock breakthrough proof of the Quasi-Riemann Hypothesis, which was released publicly on October 6: 1. Building on OpenAI's proof, a recent Hexagon preprint (released on October 12) by Cureton and Thorner establishes that ALL finite-order Hecke L-functions are zero-free to the right of 1 - 1/6000. 2. And now, today, an arXiv preprint by Frei, Somos and Widmer uses this result to prove unconditionally the 2007 Ellenberg–Venkatesh bounds on ℓ-torsion in class groups of number fields. I was amused to see the AI declaration in the second paper: "No artificial intelligence tools were used in this work."
1
6
141
14,391
Jay Cummings retweeted
We want to support the mathematics community in turning progress in AI into deeper human understanding and new discoveries. To support that goal, we are contributing $5 million to a new Simons Foundation initiative to help mathematicians examine, understand, and build on results produced by AI, including the results we recently published. The funding, managed and awarded by the @SimonsFdn will support workshops, conferences, and special programs. We will also provide access to our models and computing resources to Simons Foundation-supported researchers.
How can the math community forge the best path forward in the AI age? We're committing $15M to workshops and initiatives — plus free AI computing resources for foundation-supported researchers — through new partnerships with @AnthropicAI and @OpenAI: bit.ly/4zpfIbW #math #science #AI
514
482
6,203
950,387
I love math, and I thought this was a beautiful interview. My mom is allergic to math, and she thought this was a beautiful interview. So I think many people will find value in this conversation. I listened to it yesterday, but I suspect the video version will be more poignant
2
23
183
11,792
Jay Cummings retweeted
you could be living in sacramento you could be sacramentomaxxing we have the the kings, old sac, the waterfront you will build your life in sacramento, california
America’s most livable cities, at local median salary and local tax rate. New York: this is probably the reason why Mamdani won
Community note
The chart's "most livable cities" rankings and quality-of-life data rely on Numbeo, a crowdsourced site where anyone can submit or alter entries; it carries explicit disclaimers on accuracy and has been widely criticized by experts and media as unreliable. numbeo.com/common/terms_o… en.wikipedia.org/wiki/Numbeo tf1info.fr/international/…
233
451
5,878
269,349
Jay Cummings retweeted
Just getting started on @LongFormMath’s Proofs, already much more lively than how proofs were taught in high school. Looking forward to the rest of it!
2
1
16
974
Jay Cummings retweeted
10 remarks on AI and math that can be true all at once: 1. The recent progress is stunning and exciting. 2. The Quasi-Riemann Hypothesis is arguably Fields-medal level. 3. Mathematics is being transformed and there is no way back. 4. OpenAI doesn't give a fuck about the future of mathematics. 5. Half-baked unreadable preprints claiming major results can effectively stall mathematical progress. 6. Some mathematicians are responding with naive, overly defensive comments. 7. The social-media wankers framing this as "OpenAI tramples gatekeeping" have no experience of mathematical research. 8. The product of mathematics is clarity and understanding. Not theorems, by themselves. 9. Mathematics is a critical infrastructure of human cognition. The human need for understanding isn't obsolete and it can't be offloaded to machines. 10. We haven't "solved" mathematics and we won't get there before the Sun burns out.
160
464
2,983
157,830
During K-12 school, I didn’t particularly like math. It was only when I took college-level math courses that I fell in love with the subject. Now that AI is making the fun and fascinating parts of math much more accessible, I hope far more people will also come to love math.
15
7
110
5,958
For examples of how AI might do this:
Replying to @theonlymolnar
A younger me would have been very interested in learning about advanced topics in math, but nobody around me knew those topics or had time to share them with me. If I had AI to chat with, I very likely would have asked it to teach me things. Similarly, for many people in the world, even buying math books and other resources is challenging. Also, people who love to teach math now have new resources to do a better job at it. Lastly, AI will be discovering new and beautiful things. Which both increases the quantity of fun, fascinating things to study, and also produces a lot of new things which in some ways is more exciting than studying very old math
6
1,526
Btw it seems like this one is not completely verified yet with Lean. And many others also seem to not be verified with Lean. Seems strange that they would release so many where a lean check is doable but not done.
I love this theorem. And I hope many people work to improve AI’s proof of it. The Book Proof is still out there! :-)
5
3
39
4,687
I love this theorem. And I hope many people work to improve AI’s proof of it. The Book Proof is still out there! :-)
3
3
101
9,707
Very exciting prospects for applied math! And AI holds the promise of enabling scientists to more capably work with these deeper areas of math. I hope OpenAI leans much more in this direction, where the benefits extend to humanity more broadly.
“okay, so what? it’s just math.” no, you don't get it. here’s what OpenAI’s math breakthroughs could eventually help make possible in the real world: Vlasov–Maxwell → stronger foundations for fusion research, whose ultimate prize is virtually limitless clean energy to power civilization Calderón’s Problem → portable body scanners using electrical signals, making medical imaging cheaper and easier to access Maximum-Cardinality Matching → faster searches for compatible kidney swaps across large donor pools, helping hospitals coordinate lifesaving transplants Inverse Elasticity Problem → scans that map tissue stiffness, helping doctors locate suspicious growths inside the body Mumford–Shah Conjecture → better tools for spotting tissue changes in brain scans, helping doctors identify signs of disease Bose–Einstein Condensation → stronger foundations for quantum sensors that could help vehicles navigate without GPS Simple Stochastic Games → better safety checks for self-driving cars and robots before dangerous mistakes reach the real world Matrix Multiplication → cheaper AI and bigger scientific simulations using the same computers Edit Distance → faster DNA comparisons, helping researchers study genetic changes linked to disease The k-Server Problem → robots that waste less movement and energy, making warehouses more efficient and goods cheaper to move a reminder that math is the foundation of science. so accelerating mathematical discovery could compress centuries of scientific progress into years. insane timeline to be alive for!
4
34
2,460
Jay Cummings retweeted
Based on a hot tip: I had Astra check the OpenAI paper "Algebraicity of Weil classes on split abelian eightfolds", and it seems to be flawed. This is one of the nonformalized results. Concerning.
56
102
1,115
136,975
Jay Cummings retweeted
Many staggering results here. But this is a particularly amazing one: the exponent for matrix multiplication is no more than 2.25. The previous world record had been something like 2.37. This leap in progress is like Bob Beamon's long jump. github.com/openai/math/blob/…
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
52
211
2,427
243,829
Jay Cummings retweeted
Quasi-RH?!?!???! Are you kidding me? If a human did this, it would be an instant Fields Medal, no questions asked. RH says zeta has no zeros in Re(s)>1/2. The best we had until a second ago was a region that got thinner and thinner the higher up the imaginary axis you go. I thought maybe they’d fatten that up a bit, that’d be a massive breakthrough. But no. They got a zero free strip!!!! Insane
We’re releasing a broad range of new mathematical results produced by an internal frontier model. We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results. github.com/openai/math
226
987
9,905
1,289,615
That’s a high school question. A mathematician grows up when they form a strong opinion on what colors the various areas of math are. What are the colors of algebra, analysis, topology, number theory, combinatorics, logic, statistics, differential equations?
so we all agree the color for math is blue right
29
4
119
12,663
I got you
We created gyms because modern day work no longer required physical activity. Without exercise, our muscles atrophy. I predict we’ll need gyms for our brains too, once AI starts doing our knowledge work.
18
97
1,336
27,335
I’m such a sucker for this content. A big congrats to him for the Nobel. And a big congrats for having a loving family to share it with.
The most important briefings of the day. Karl Deisseroth, professor of bioengineering and of psychiatry and behavioral sciences, shares the news of his Nobel Prize with his kids.
4
11
299
9,540
Ever wonder what some of these AI-discovered proofs look like, that avoided human discovery for decades? I just posted a 2+ hour video going through one. Last month, AI proved the Erdős–Sós conjecture, which says that if a graph has average degree > t−2, then G contains every tree on t vertices. I spent a week going though a version of Astra’s proof, which I didn’t love. I changed it into a version I’m much happier with, which I discuss here: piped.video/KDsKlOkrbpE?is=fu-T…
4
10
59
4,134
I posted a print version to the arXiv last week. arxiv.org/abs/2609.32011 And it turns out I was not the only one going through it! It is really great to see many people giving attention to this nice theorem. Hopefully we are approaching the “textbook” proof of it.
Replying to @thomasfbloom
Several great papers were quickly written giving expositions/new interpretations of the proof (much more elegant that the original AI-generated PDF). See Riordan-Scott (arxiv.org/abs/2609.15893), Wood (arxiv.org/abs/2609.17877), and Frederickson (arxiv.org/abs/2609.21159). 2/
1
1
12
827