New Google DeepMind's AI's discoveries in mathematics and computer science [AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms - Google DeepMind](https://deepmind.google/discover/blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/) [https://www.youtube.com/watch?v=vC9nAosXrJw](https://www.youtube.com/watch?v=vC9nAosXrJw) [AI achieves silver-medal standard solving International Mathematical Olympiad problems - Google DeepMind](https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/) [AI and the future of Math: Interviews with Top Mathematicians | Epoch AI](https://epoch.ai/blog/ai-and-math-interviews) [DeepMind AI crushes tough maths problems on par with top human solvers](https://www.nature.com/articles/d41586-025-00406-7) Mathematician new proof assisted by gemini https://x.com/bremen79/status/1927768299271496008 Neurosymbolic methods that connect training of LLMs doing math with grounding with Lean are amazing  How DeepSeek Built The Current "Best" Math Prover AI DeepSeek-Prover-V2 [https://www.youtube.com/watch?v=vhXDKif9mPU](https://www.youtube.com/watch?v=vhXDKif9mPU) [https://arxiv.org/abs/2504.21801](https://arxiv.org/abs/2504.21801)