does math stand a chance? “by combining AlphaGeometry with Wu's method we set a new state-of-the-art for automated theorem proving on IMO-AG-30, solving 27 out of 30 problems, the first AI method which outperforms an IMO gold medalist.” arxiv.org/abs/2404.06405
@carterleffen this is excellent, is there any information out there about how the neurosymbolic engine was trained? Amount of compute needed? was Julia/Jax used?
@carterleffen who is wu in wu's method? is this founder of devin and legendary ioi gold medalist?
@carterleffen math is presumably infinite so it absolutely does stand a chance, however do human mathematicians stand a chance, they can't read as fast and have smaller working memories, so i would imagine AI mathematics does dominate humans eventually, bc physical limits of compute >>> brain
@carterleffen Probably, the mathematician’s workflow will definitely change. This method isn’t scalable to other fields of math though, so I don’t know what’s with the dramatic “does math stand a chance?”.
@carterleffen If the total math knowledge of human being is Earth system, all the imaginable math knowledge of human is the galaxy, then AI could well discover a lot of extragalactic systems that we never thought could exist.
@carterleffen Once again geometry has been proven to be the easiest imo subset