There's no evidence that Anthropic did it first.

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...

	▲	HarHarVeryFunny 5 hours ago \| parent [-]
		The NYU professor, Tristan Buckmaster, has now released a statement on this. https://cims.nyu.edu/~tristanb/statement.pdf