Google has introduced a new AI model named AlphaProof, which specializes in mathematical reasoning—a domain where AI models trained on text have historically struggled. Despite the promising advancements, there is no prototype, code, or paper shared yet, only a blog post. AlphaProof is designed to solve complex math problems that even professors find challenging, marking a significant step in AI evolution. However, the problems need to be manually translated into formal mathematical language for the system to understand. AI is far from being able to replace human mathematicians.