AI has made a significant stride by solving problems from the International Mathematical Olympiad (IMO), the oldest and most prestigious competition for young mathematicians. Two advanced systems, AlphaProof and AlphaGeometry 2, were able to solve four out of six problems from this year's IMO, equating to the performance of a silver medalist. This achievement demonstrates AI's increasing capability in advanced mathematical reasoning. AlphaProof, a system based on reinforcement learning, and AlphaGeometry 2, an improved hybrid geometry-solving system, worked together to tackle these challenging problems. Their accomplishment, validated by eminent mathematicians, underscores a significant leap in AI's potential. AlphaProof can now generate and verify proofs in formal mathematical language, while AlphaGeometry 2 swiftly solved complex geometry problems. These advancements mark a transformative moment in machine-aided mathematical discoveries. The systems solved an algebra, number theory, and the most difficult problem in the competition within varying times, with AlphaProof enhancing its skills through continuous problem-solving and self-reinforcement learning. Meanwhile, AlphaGeometry 2’s ability to solve historical geometry problems has significantly increased. The research team continues to explore innovative AI approaches in mathematical reasoning, promising exciting future collaborations between humans and AI in tackling complex scientific challenges.