3 ms·
Also AlphaProof had to search for 60 hours for one of the IMO problems it solved.
by thomasahle 2y ago
Also AlphaProof had to search for 60 hours for one of the IMO problems it solved.
- renonce 2y agoIt’s going to be significantly faster very soon, we have seen how AlphaGo evolved into KataGo which is many magnitudes more compute efficient
- thomasahle 2y agoThe main difficulty to scaling Alpha Proof is finding theorems to train it with. AlphaGo didn't have that problem because it could generate it's own data.
- randcraw 2y agoAnd I understand the upper time limit for each question was 4.5 hours. So it solved one question almost immediately, two well over the allotted time (60 hrs), and two not at all. No medal for you, Grasshopper.
- snewman 2y agoContestants get 4.5 hours for each of the two days of competition. They have to solve three problems in that time, so on average you can spend 1.5 hours per problem (if you're aiming to finish all three). That said, the gap from "can't do it at all" to "can do it in 60 hours" is probably quite a bit larger than the gap from 60 hours to 1.5 hours.
- moffkalast 2y agoTiming something that can be ran faster by throwing better hardware at it honestly feels conceptually irrelevant, as long as the complexity is actually tractable.