In a recent issue of this newsletter, we discussed NuminaMath, an AI model that achieved the top score in the AI Math Olympiad(AIMO). But what about the real International Math Olympiad(IMO)' IMOs are elite high school competitions where the top six students from each participating country must answer six different questions over two days, with a four-hour time limit each day. Some of the most renowned mathematicians of the past few decades have been medalists in IMO competitions Today, I would like to dive into the work that Google DeepMind has been doing in that area with the combination of two models: AlphaProof and AlphaGeometry 2 that recently achieved silver medalist level in the IMOs. More specifically, AlphaProof and AlphaGeometry 2, have successfully solved four out of six problems from this year's IMO, which came just short of reaching the gold medal level.
learn more