Google DeepMind’s AlphaProof MASSIVE MATH BREAKTHROUGH – AI teaches itself mathematical proofsJuly 25, 2024