>Show that an AI can take the kinds of computer resources an academic has access

I don't know how this can be verified, but I'm not convinced by the evidence in the post. It sounds like the final solution can be ran in a week on 96 cores. But how much compute was used attempting the problem? How much inference? 'Trust me bro?'

I think these solutions are worth millions to these labs, and I think that's what they're spending on them. Far more resources than have been directed at mathematicians and physicists to solve the same problems.