[Robotenomics]

“Only 5/509 participants solved P6”

[nybsjytm]

This has to come with an asterisk, which is that participants had approximately 90 minutes to work on each problem while AlphaProof computed for three days for each of the ones it solved. Looking at this problem specifically, I think that many participants could have solved P6 without the time limit.

(I think you should be very skeptical of anyone who hypes AlphaProof without mentioning this - which is not to suggest that there's nothing there to hype)

[letitgo12345]

Think more is made of this asterix than necessary. Quite possible adding 10x more GPUs would have allowed it to solve it in the time limit.

[auggierose]

Certainly an interesting information that AlphaProof needed three days. But does it matter for evaluating the importance of this result? No.