Related posts
David Crawshaw x.com
I am surprised at how little coverage the LLM transformation of mathematics is getting. Kind of a big deal for those of us who spent (cumulative) months in the university library learning to construct proofs.
The subject this post names, from the same vocabulary the directory files beliefs under, and the words it uses that this site has seen least often elsewhere. Posts are matched on those words alone — nothing here is a summary of this one.
Nothing else here says these words yet. Try AI, or search the site for it.