3 ms·
> If the human competitors had been allowed that sort of time per problem they would undoubtedly have scored higher. Or if AlphaProof used more compute they co
by visarga 2y ago
> If the human competitors had been allowed that sort of time per problem they would undoubtedly have scored higher.
Or if AlphaProof used more compute they could have slashed that time to 1/10 or less. It's arbitrary as long as we don't define what is the compute the AI should be entitled to use here.