Search

Said and published

• David Crawshaw x.com 1 Aug 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.