Tristan Buckmaster, professor of mathematics at NYU, in his own statement, regarding his and Levent Alpöge’s interactions with employees at OpenAI regarding this week’s math-proof controversy:

I asked when the first prompt had been sent by them. This question
was not answered directly by OpenAI for some time. Eventually it
was agreed that it had been sent in the past few days, after
information about our work had reached OpenAI.

I asked whether the model had been trained on, or had access to,
our sessions in Codex, into which we had been putting all our
drafts for the whole of this project. I was told the model did not
look up user data. I asked again, about training, and I did not
get an answer.

Two proposals were offered to me. The first was that we post our
Euler result, and that OpenAI post its Navier-Stokes result the
next day. The second was that, after posting Euler, I alone write
a paper presenting the Navier-Stokes result, acknowledging that an
internal OpenAI model had resolved it. Sebastien twice asserted
that he wanted Levent removed from authorship, and said it would
all be simple if only it were not the case that, and it was so
annoying that, Levent works at Anthropic. It was also said that if
OpenAI posted after us, they would say that we deserved the Clay
Prize, and that we were the “closest humans to the problem”. I
declined both offers.

I said that if OpenAI released its result in the way proposed I
would go public with what happened. The reply was, “Why would you
ruin your career?” I replied that I am an academic, and asked why
he thought going public would ruin my career. The reply was, “If
you don’t want me to be nice, then I don’t have to be nice.”

“Sebastien” is Sebastien Bubeck, who came to OpenAI by way of Microsoft (shocker).