←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 1 comments | 17 Nov 24 17:20 UTC | HN request time: 0.279s | source
Show context
Robotenomics ◴[17 Nov 24 19:30 UTC] No.42166395[source]▶
“Only 5/509 participants solved P6”
replies(1): >>42166999 #
nybsjytm ◴[17 Nov 24 20:36 UTC] No.42166999[source]▶
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)

replies(2): >>42167113 #>>42168802 #
letitgo12345 ◴[18 Nov 24 01:09 UTC] No.42168802[source]▶
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.
replies(1): >>42169740 #
1. nybsjytm ◴[18 Nov 24 04:35 UTC] No.42169740[source]▶
Very plausible, but that would also be noteworthy. As I've mentioned in some other comments here, (as far as I know) we outside of DeepMind don't know anything about the computing power required to run alphaproof, and the tradeoff between computing power required and the complexity of problems it can address is really key to understanding how useful it might be.