🧠 In diverse occasioni mi è capitato di parlare del progetto #AlphaEvolve di #Google… e ora sta arrivando su Google Cloud.
👉 I dettagli: https://www.linkedin.com/posts/alessiopomaro_alphaevolve-google-gemini-activity-7404492798437068801-Ncgv

___  
✉️ 𝗦𝗲 𝘃𝘂𝗼𝗶 𝗿𝗶𝗺𝗮𝗻𝗲𝗿𝗲 𝗮𝗴𝗴𝗶𝗼𝗿𝗻𝗮𝘁𝗼/𝗮 𝘀𝘂 𝗾𝘂𝗲𝘀𝘁𝗲 𝘁𝗲𝗺𝗮𝘁𝗶𝗰𝗵𝗲, 𝗶𝘀𝗰𝗿𝗶𝘃𝗶𝘁𝗶 𝗮𝗹𝗹𝗮 𝗺𝗶𝗮 𝗻𝗲𝘄𝘀𝗹𝗲𝘁𝘁𝗲𝗿: https://bit.ly/newsletter-alessiopomaro 

#AI #GenAI #GenerativeAI #IntelligenzaArtificiale #LLM 

The story of Erdős problem #1026. ~ Terence Tao. https://terrytao.wordpress.com/2025/12/08/the-story-of-erdos-problem-126/ #AI #Math #ITP #LeanProver #Aristotle #AlphaEvolve

필즈상 수상자가 AI로 수학 문제 67개 풀어본 결과: 300년 난제도 개선

https://aisparkup.com/posts/6365

Readings shared November 7, 2025. https://jaalonso.github.io/vestigium/posts/2025/11/08-readings_shared_11-07-25 #AI #Agda #AlphaEvolve #FormalVerification #FunctionalProgramming #Haskell #HoTT #ITP #LLM #LeanProver #Math #Rocq

Google DeepMind and Fields Medalist Terence Tao Detail AI-Powered Mathematical Discoveries with AlphaEvolve

#AI #GoogleDeepMind #Mathematics #AlphaEvolve #TerenceTao #Science #Research #MachineLearning #Google #AIinScience #DeepLearning #ComputerScience

https://winbuzzer.com/2025/11/07/google-deepmind-and-fields-medalist-terence-tao-detail-ai-powered-mathematical-discoveries-with-alphaevolve-xcxwbn

Mathematical exploration and discovery at scale. ~ Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, Adam Zsolt Wagner. https://arxiv.org/abs/2511.02864v1 #AI #Math #AlphaEvolve #ITP #LeanProver

A new paper with Bogdan Georgiev, Javier Gomez-Serrano, and Adam Zsolt Wagner: "Mathematical exploration and discovery at scale" https://arxiv.org/abs/2511.02864 , in which we record our experiments using the LLM-powered optimization tool #AlphaEvolve to attack 67 different math problems (both solved and unsolved), improving upon the state of the art in some cases and matching preivous literature in others. The data for these experiments can be found at https://github.com/google-deepmind/alphaevolve_repository_of_problems and further discussion is at https://terrytao.wordpress.com/2025/11/05/mathematical-exploration-and-discovery-at-scale/

Here is a Podcast about #AlphaEvolve if you like listening to it:

https://open.spotify.com/episode/27NyNebqx3BjYjGbgNX46D?si

What do you think about #AlphaEvolve?Yes, it is a code optimization and this is nothing new. Still the approach to use #LLMs combined with #evolutionaryprogramming approaches is something that leads to still unseen developments in my opinion. Should not be underestimated:

https://deepmind.google/discover/blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/

🧬 What if your algorithm could breed itself into something smarter?
AlphaEvolve just cracked a 56-year-old math record—and it wasn’t coded by humans.
Google’s new AI doesn't just solve problems. It invents new ways to think.
Read how it saved $1B, outperformed 75% of human math benchmarks, and evolved a new logic.
👇 Dive in:
https://medium.com/@rogt.x1997/the-algorithm-that-bred-itself-alphaevolves-frightening-brilliance-002d8f53d406

#AlphaEvolve #AIrevolution #DeepMind
https://medium.com/@rogt.x1997/the-algorithm-that-bred-itself-alphaevolves-frightening-brilliance-002d8f53d406

Ett av matematikens sju stora mysterier kan snart få sin lösning. Med hjälp av Googles ai-jätte Deepmind jagar forskaren Javier Gómez Serrano svaret.

Ett av matematikens sju stora mysterier kan snart få sin lösning. Med hjälp av Googles ai-jätte Deepmind jagar forskaren Javier Gómez Serrano svaret på Navier–Stokes-ekvationerna.#google #demishassabis #deepmind #artificiellintelligens #alphaevolve #ai #topp #tech #matematik
Med Deepminds hjälp ska forskarna knäcka 200 år gammal mattegåta

🧬 The Future Of Discover: What AlphaEvolve Tells Us About the Future of Human Knowledge
https://www.buzzsprout.com/2405788/episodes/17332144
https://helioxpodcast.substack.com/publish/post/165883970

The kind of breakthrough that makes you wonder what else we've been missing, what other solutions have been hiding in plain sight, waiting for the right kind of intelligence to find them.

#AlphaEvolve #DeepMind #Google#AI #AlphaEvolve #DeepMind #MachineLearning #OpenScience #TechEthics #AlgorithmicDiscovery #ComputerScience #Innovation #TechCriticism

AlphaEvolve di DeepMind non è solo un altro modello AI. È il primo a migliorare sé stesso mentre lavora, risolvendo problemi vecchi 300 anni e liberando potenza di calcolo senza costruire un singolo server. Sta iniziando la fase in cui smettiamo di capire cosa stia succedendo.

#futuroprossimo #AI #AlphaEvolve

https://www.futuroprossimo.it/2025/06/alphaevolve-lai-che-migliora-se-stessa-e-forse-tutto-il-resto/

Did you know #AlphaEvolve uses Large Language Models ( #LLMs) to discover & optimize algorithms?

From hardware design to AI training, they're optimizing across various domains. Dive into the details with Google DeepMind's paper on their AlphaEvolve coding agent.

Read #InfoQ for all the insights: https://bit.ly/3ZDGuOo

#GoogleDeepMind #AI #Agents

Readings shared May 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/21-readings_shared_05-21-25 #ACL2 #AI #AlphaEvolve #CommonLisp #CompSci #Emacs #GeneticAlgoritm #ITP #LLMs #LeanProver #Math #OrgMode #Programming #Python

OpenEvolve: Open-source implementation of AlphaEvolve. ~ Asankhaya Sharma. https://github.com/codelion/openevolve #AI #LLMs #AlphaEvolve #Math

#AlphaEvolve: A #Gemini-powered coding agent for designing advanced algorithms and research. So, are we all unemployed? https://deepmind.google/discover/blog/alphaevolve-a-gemini-powered-coding-agent-for-designing-advanced-algorithms/

AlphaEvolve. ИИ совершает научные открытия.
https://www.youtube.com/watch?v=shorRscncxs

#ИИ #AlphaEvolve

The new #AlphaEvolve from #DeepMind promises a general-purpose #AI for science - from solving math puzzles to improving chip designs, maybe as revolutionary as #AlphaFold. But until an open-source version is vetted by researchers, skepticism remains the safest policy. #Google #ScienceAI #ResearchSky

DeepMind unveils ‘spectacular’...

🧠 Torno su #AlphaEvolve, per sottolineare che non si tratta di un progetto sperimentale, ma sta già ottimizzando l’infrastruttura di #Google.

💡 E il potenziale va ben oltre all'infrastruttura di Google: https://www.linkedin.com/posts/alessiopomaro_alphaevolve-google-ai-activity-7330186671767863296-gog9

___ 
✉️ 𝗦𝗲 𝘃𝘂𝗼𝗶 𝗿𝗶𝗺𝗮𝗻𝗲𝗿𝗲 𝗮𝗴𝗴𝗶𝗼𝗿𝗻𝗮𝘁𝗼/𝗮 𝘀𝘂 𝗾𝘂𝗲𝘀𝘁𝗲 𝘁𝗲𝗺𝗮𝘁𝗶𝗰𝗵𝗲, 𝗶𝘀𝗰𝗿𝗶𝘃𝗶𝘁𝗶 𝗮𝗹𝗹𝗮 𝗺𝗶𝗮 𝗻𝗲𝘄𝘀𝗹𝗲𝘁𝘁𝗲𝗿: https://bit.ly/newsletter-alessiopomaro 

#AI #GenAI #GenerativeAI #IntelligenzaArtificiale #LLM