**News Flash: Google DeepMind's AI Shines in Math Olympiad**

Google DeepMind's AI models have reached a "silver-level standard" in complex mathematics, solving four out of six problems in this year's International Mathematical Olympiad (IMO). This marks a significant breakthrough for AlphaProof and AlphaGeometry 2, DeepMind's advanced reasoning systems.

- **AlphaProof**: A reinforcement learning-based system for formal math reasoning.

- **AlphaGeometry 2**: An enhanced geometry-solving system.

The IMO, a prestigious global competition for young mathematicians, has become a benchmark for AI's mathematical reasoning capabilities. Google’s AI teams continue to push the envelope, planning to release more technical details soon.

In related news, AI competition is intensifying. OpenAI is developing "Strawberry," a model aimed at improving AI reasoning, and has launched SearchGPT, an AI-powered search engine prototype. Meta is also advancing open-source AI with its latest model, Llama 3.1.

Stay tuned as the AI race heats up!