AI has made significant strides in mathematics, notably with DeepMind's AlphaGeometry solving complex Euclidean geometry problems, and AI tools assisting in generating new mathematical conjectures and formally verifying proofs, pushing the boundaries of automated reasoning.