Also: https://cims.nyu.edu/~tristanb/statement.pdf

I had planned to say on announcing our work that the results are not the important thing. Rather the important thing is instead the significance that a mathematician and an LLM model can now do all this work in a month