New Google DeepMind's AI's discoveries in mathematics and computer science https://deepmind.google/discover/blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/ https://www.youtube.com/watch?v=vC9nAosXrJw https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://epoch.ai/blog/ai-and-math-interviews 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://arxiv.org/abs/2504.21801 there seem to be like four big players now in the Lean autoformalisation game: DeepMind, Harmonic, DeekSeek and Morph Labs We shall see how AlphaProof 2 performs on this year’s IMO novel math result with gpt-5 https://fxtwitter.com/emollick/status/1964447221853966775 https://arxiv.org/abs/2509.03065v1 Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress. https://x.com/mathematics_inc/status/1966194751847461309 https://www.math.inc/gauss Ai knot theory https://x.com/i/status/2007052456631345268 https://youtu.be/ukpCHo5v-Gc?si=CI946sYoOeta5Q_a https://deepmind.google/blog/accelerating-mathematical-and-scientific-discovery-with-gemini-deep-think/ Terrence Tao is one of the best geniuses of our age I love his nuanced perspectives on everything, including AI, and how it relates to math and science So much intelligence juice in him https://www.youtube.com/watch?v=Q8Fkpi18QXU I love this analogy "Terence Tao gave the analogy of mathematicians trying to climb “a big mountain range with lots of tall mountains and lots of foothills.” Humans can only climb one step at a time, but they can plan a route to the top of a mountain like Everest. Meanwhile, Tao said, current AIs are like jumping robots. They can sometimes “parkour their way to the top of a 6-foot wall” that a human couldn’t climb. But they can’t do long-term strategic planning. Those 6 feet might become 10 feet, or 100, Tao imagines, but “the little jumping robots are nowhere near the Mount Everests of math.”" https://www.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/ and the jumping robots can also accidentally jump into the opposite direction, or fly into outer space https://x.com/i/status/2032267485735460867 https://x.com/i/status/2052508685591785619 https://openai.com/index/model-disproves-discrete-geometry-conjecture/ https://youtu.be/TfyPshgMbug?is=z03JzPAvCduxXxM5