[offnominal]

> Any mathematicians who have actually called it "new interesting mathematics", or just an OpenAI employee?

He is a mathematician. Unless you wanted to say "any other mathematicians..."