Google DeepMind's AlphaProof AI model solves complex math problems, marking a significant AI advancement.