3 ms·No, IMO problems are much too hard for the current generation of theorem provers.by lacker 3y agoNo, IMO problems are much too hard for the current generation of theorem provers.