[nybsjytm]

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

The paper in question is an arxiv preprint whose first author seems to be an undergraduate. The theorem in it which GPT improves upon is perfectly nice, there are thousands of mathematicians who could have proved it had they been inclined to. AI has already solved much harder math problems than this.

[offnominal]

The OpenAI employee posting this is a well known theoretical computer scientist: https://en.wikipedia.org/wiki/S%C3%A9bastien_Bubeck

[alkyon]

Yes, he published a paper claiming GPT-4 has "sparks" of AGI. What else is he known for in the field of computer science?

https://arxiv.org/abs/2303.12712

[nybsjytm]

Not sure what this has to do with my post.