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
David Savitt retweeted
No relation.
this is amazing
mathematics is about human understanding; my little pony is about academia youtu.be/84_gyPUNRIM
Family reunion this weekend. Seriously considered putting "please don't ask me about AI" on my nametag.
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.
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... 😂
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/…
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…
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.
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.
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…
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.
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 ...














