Math department chair at Johns Hopkins University and a director of Canada/USA Mathcamp.

Baltimore, MD
David Savitt retweeted
the inimitable David Harvey wrote about his experience understanding the o(n log n) integer multiplication result: web.maths.unsw.edu.au/~david… it's absolutely worth a read, both for the technical content and especially for the reflections on math and AI at the start
1
2
11
716
No relation.
News: The Baltimore Orioles are hiring Jared Banner as general manager, sources tell ESPN. Banner, who was an assistant GM with the Cubs, joins Mike Elias in Baltimore’s leadership after nearly two decades working a range of executive jobs with the Cubs, Mets and Red Sox.
4
27
659
16,909
this is amazing
mathematics is about human understanding; my little pony is about academia piped.video/84_gyPUNRIM
2
7
2,026
Family reunion this weekend. Seriously considered putting "please don't ask me about AI" on my nametag.
1
9
629
Not so often that you get to eat your own face.
1
8
603
David Savitt retweeted
"the most significant moment in mathematical history" like "being bombed was the most significant moment in the history of Hiroshima"
Big, big, big, big props for quasiriemann and no Siegel zeroes (with many other beauties in there), I’m kicking myself for talking all over about it being within reach but not actually having pushed. There are some sad stories related to their users getting scooped / conflicts of interest (kakeya maximal comes to mind), and obviously we had some of the problems (without commenting on precise rumours). We should put that aside for today though. It’s obviously the most significant moment in mathematical history.
8
27
197
9,683
David Savitt retweeted
My dream had always been to prove beautiful theorems as the AI agents unloaded my dishwasher. Well, it went the wrong way... 😂
40
311
2,873
135,158
David Savitt retweeted
My blog post giving a lot more details about Hexagon is up on Terry Tao's blog. One big reason is that we wanted mathematical results in a forum maintained by the mathematical and TCS communities. terrytao.wordpress.com/2026/…
1
5
30
3,172
Guess where I am right now
1
3
593
David Savitt retweeted
We all know that AI is a highly divisive issue. A working group convened at the Simons Institute earlier this month, to formulate concrete action items for TCS academia to take in response to AI. Remarkably, despite the wide range of opinions, participants were able to arrive at broad consensus on the list of recommendations here: simons.berkeley.edu/AITCSrep…. Many apply more broadly to mathematics, and beyond. This document is NOT a declaration or essay. It is a list of concrete proposals, fleshed out all the way from motivation to implementation. Its purpose is to provide a common reference point and shared baseline for the community to discuss and enact change. The actions are intentionally designated to be taken in the short term (specifically, this academic year); they are not meant to represent a stable vision of the future. You do not have to like them; you just have to like them MORE than what will happen if nobody takes action. Not everybody at the workshop agreed with every action, but they ultimately came together through discussion and compromise. For transparency, I was involved in this event in a purely organizational capacity. I did not come up with any of these actions, but I recognize their importance and I will support them however I can. I hope you do too.
In September, we hosted a working group to think about how the TCS community should respond to AI progress. Their report, released yesterday, highlights 12 near-term actions that received broad support among the participants. simons.berkeley.edu/news-pub…
2
13
50
14,690
Hello, world! There is a new repository for works in math and TCS: hexagonmath.org, now in public beta. Please try it out and submit something! We welcome your feedback while we build and improve it.
6
45
180
48,890
With time we hope to make this more robust by adding automated reviews, for example that a work adequately cites all sources that it should. At the moment we do not have enough tokens to do this well at scale. We tested this but turned it off for now.
1
11
1,053
We also hope to add discussion features to allow for community verification of otherwise unverified mathematics, but this is delicate. We welcome your feedback about how (and indeed whether) to do this, and about any other features that would help the site work better for you.
11
911
David Savitt retweeted
I was part of a group that met last week to try to propose recommended changes to the structure of math PhD programs in an age of AI. Our report, together with a collection of related resources, is now available here: cmsa.fas.harvard.edu/aimathp…
11
108
428
69,301
I realized last night that I was in a very bad mood, and I am pretty sure that it's because for the last day or two I've been working hard on a couple of things that involved interacting with a lot of AI-generated prose.
1
2
34
6,382
I don't think I ever truly experienced it in regard to characters or objects. But I think this must be what is happening to me now with much AI text: the disquiet, and eventually the revulsion, that I experience is reflexive ...
1
6
427
and goes far beyond the regular experience of editing bad writing. I think I am in the uncanny valley for text, and I begin to wonder about psychological risks from overexposure.
2
6
365