Translated data: The AlphaGeometry model from Google DeepMind successfully solved 25 IMO geometry problems, approaching human gold medal standards, while GPT-4 failed miserably with 0 points. This marks an epic upgrade in AI's reasoning capabilities in the field of mathematics, surpassing previous AI systems. Through AlphaGeometry, we can see that AI's abilities in logical reasoning, discovering, and verifying new knowledge are continuously strengthening. This development will also bring new opportunities to the fields of science and AI.