Yes there is - that OpenAI PR says that it was Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a math professor at NYU.
replyThey appear to have solved sub-problems (Euler problem) not this one...
replyThe NYU professor, Tristan Buckmaster, has now released a statement on this.
reply