How machines that can solve complex math problems might usher in more powerful AI

But the news item that really stood out to me was one that didn't get as much attention as it should have. It has the potential to usher in more powerful AI and scientific discovery than previously possible. Last Thursday, Google DeepMind announced it had built AI systems that can solve complex math problems. The systems--called AlphaProof and AlphaGeometry 2--worked together to successfully solve four out of six problems from this year's International Mathematical Olympiad, a prestigious competition for high school students. Their performance was the equivalent of winning a silver medal.