if AI companies cannot even cooperate and coordinate over the publication of math problem research, it is unclear how some undefined international body is going to get them to work together to pace the frontier.
This is a VERY big one. (And yes, the fights over academic credit and what happened in the race for the proof needs to be resolved, but it is still appears that this is a big one, if true.) openai.com/index/navier...