DeepMind's AlphaEvolve Solves Four Open Math Problems with AI Discovery | Hypernova