Yes there is - that OpenAI PR says that it was Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a math professor at NYU.

They appear to have solved sub-problems (Euler problem) not this one...