From the article:

Kai Shaikh, a Ph.D. student in mathematics at the University of Toronto, also currently at SLMath, observed that theorems are easy to use as benchmarks, but that they capture little of the wonderment at the heart of math. “Just like a photograph of a mile marker can’t provide much of the value of actually going on a hike,” he said, “it would seem to me that proofs without stories, or even stories without struggle or mystery, and first glimpses of strange beasts, are not very meaningful or valuable to us humans.”

And:

Initially, the rumors about these OpenAI results had it that there were solutions to 400 problems, and now the rumors are that further dumps are arriving soon. The number 400 had made Mr. Zhang think of “The 400 Blows,” a coming-of-age film by François Truffaut.

“The film is about a boy who is evaluated, judged and shut away from society, and no one really takes the time to understand him,” Mr. Zhang said. “Towards the end, he runs to the sea, and the film ends on a freeze frame that passes no judgment on whether this is an escape or a dead end. I don’t think that’s a bad picture of where mathematics stands with these results.”

The Daily interviewed mathematician and author Steven Strogatz about When A.I. Comes for Your Purpose in Life.

High level math can feel more like art than science. My undergrad is actually a bachelor of arts in mathematics. AI completing a proof of a problem that you have been working on would feel like someone publicly releasing a novel, movie, or symphony that you have been drafting for maybe years. 

And from my amateur review of some of the papers and from commentary I have seen (sorry no links at hand) I think these papers from OpenAI will need a lot of human work to make sensible. They may be correct. But they may also read like someone fed the dailies from a movie into a LLM and asked for a finished movie. It might technically tell a story but it will likely not be a critical or popular success. But you can imagine how the cast and crew would feel betrayed and wonder what their effort was for.