Quote from one of the human scientist's papers [†]:

>I can say the first LLM-generated-proof Levent sent me was the most horrendous I have ever read; [once] we verified it ... we have been working around the clock to understand this proof and turn it into something readable.

How incredible that the smartest humans are showing their limits of comprehension. How human that their smugness still gets in their way, in the presence of actual brilliance (i.e. the LLM writes so correctly that humans cannot understand the depth, only seeing "horrendous" until confirmed).

[†] <https://cims.nyu.edu/~tristanb/statement.pdf> [pg1, edited for comprehension]

----

>"The important thing is ... the significance that a mathematician and an LLM model [sic] can now do all this work in a month." [†]

>"THE SIGNIFICANCE OF THIS WITH RESPECT TO THE WAY WE TRAIN STUDENTS, ASSIGN CREDIT, REFEREE, AND DECIDE WHAT IS WORTH ONE HUMAN LIFE'S ATTENTION CANNOT BE UNDERSTATED." [†]

>"The community needs to have serious and unhurried discussion about where to go from here." [†]