4 ms·
The last statement is largely correct (though idk what the imo medalists that are unable to solve actual problems most mathematicians can't solve most open pro
by Davidzheng 2y ago
The last statement is largely correct (though idk what the imo medalists that are unable to solve actual problems most mathematicians can't solve most open problems). But i kind of disagree with the assessment of imo problems--the search space is huge if it were as you say it would be easy to search.
- nybsjytm 2y agoNo, I don't mean that the search space is small. I just mean that there are special techniques which are highly relevant for IMO-type problems. It'd be interesting to know how important that knowledge was for the design and training of AlphaProof. In other words, how does AlphaProof fare on mathematical problems which aren't in the IMO style? (As such exceptions comprise most mathematical problems)
- Davidzheng 2y agoProbably less well? They rely heavily on the dataset of existing problems