#GoogleDeepMind
Google DeepMind: Introducing AlphaProof Code: a breakthrough in verifying complex software at depth

ai-news.ypetit.net/…

#AI #AIResearch #AIAgents #GoogleDeepMind
November 10, 2026 at 12:20 PM
Google DeepMind: Gemini 4 Carbon is now available

ai-news.ypetit.net/…

#AI #AIResearch #Climate #LLM #GoogleDeepMind
November 10, 2026 at 4:18 PM
Google DeepMind: AlphaGenome 2: Deciphering how cells read DNA to better understand disease

ai-news.ypetit.net/…

#AI #AIResearch #GoogleDeepMind
November 11, 2026 at 7:19 PM
@GoogleDeepMind Even Argon is already very good. I am looking forward to try Carbon in comparison soon.
November 10, 2026 at 6:49 PM
November 10, 2026 at 6:30 AM
DeepMind connected Signal security proofs to compiled code. Its four-week project used human-reviewed goals and machine checks; the result does not certify the whole messaging app.

news.s3dat.com/stories/alph...

#GoogleDeepMind #FormalVerification
November 11, 2026 at 3:40 PM
y ya tiene predicciones para los 9,000 MILLONES de cambios posibles en el genoma humano. ¿Crees que la IA encontrará la cura de enfermedades raras? 👇 Comenta y comparte. #Dembouw #InteligenciaArtificial #GoogleDeepMind #Ciencia #Tecnología
November 11, 2026 at 8:29 PM
Signal’s encryption passed a 6.5-million-line math proof written by AI #Cybersecurity #AlphaproofCode #GoogleDeepmind
Signal’s encryption passed a 6.5-million-line math proof written by AI
The code behind Signal's private chats now carries a machine-checked proof that it keeps messages secret, even after a stolen key. AI agents wrote it in four weeks and found no new flaws, but group ch
www.martincid.com
November 11, 2026 at 3:15 PM
read that blueprint differently. This new @GoogleDeepMind model predicts how these specialized cells interpret DNA, turning genetic code into biological insights. Building on AlphaGenome 1 this makes it significantly easier for researchers to link genetic findings to the root
November 11, 2026 at 4:28 PM
Google DeepMind 𝕏🔁 @pushmeet@twitter.com:

Our Gemini team @GoogleDeepMind is making tremendous progress.

Gemini 4 Carbon’s coding and scientific reasoning capabilities are a step change and have accelerated our own science workflows.

Carbon has already […]

[Original post on zpravobot.news]
November 12, 2026 at 10:52 AM
Google DeepMind 𝕏🔁 @pushmeet@twitter.com:

Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the first time the actual production code […]

[Original post on zpravobot.news]
November 11, 2026 at 12:53 PM
Por qué te importa: Para quien usa esas aplicaciones, la verificación respalda una parte concreta del cifrado de los chats entre dos personas, no el servicio completo.

✅ 4 fuentes: WWWhat's new, The Next Web, Computer Hoy y 1 más
#IA #cifrado #GoogleDeepMind
es.jumpdaily.news/seguridad/deepmind-…
November 12, 2026 at 3:29 PM
Our teams put Gemini 4 Carbon to work on a major security challenge: mathematically proving the code underlying the Signal protocol. Using AlphaProof Code, @GoogleDeepMind researchers guided agents to verify the protocol down to compiled device code, closing the gap where real
November 10, 2026 at 5:33 PM
Robots can now fold your laundry 🤖 Google DeepMind's new Gemini Robotics 2.5 learns hundreds of everyday skills, from folding clothes to sorting car parts on a real factory line. Video: Google DeepMind #AI #Gemini #Robotics
Follow for one AI trick a day.
https://x.com/GoogleDeepMind/status/2120169787896525104
x.com
November 10, 2026 at 3:49 PM
Google DeepMind: Agentic cheminformatics with Google Antigravity

ai-news.ypetit.net/…

#AI #AIResearch #Biotech #AIAgents #GoogleDeepMind
November 3, 2026 at 8:14 PM
A lot of innovations and breakthroughs will come from this!
*Disclosure: we own voting shares in GOOGL (Class A common stock).
November 11, 2026 at 11:02 PM
Google da un nuevo paso en la investigación genética. AlphaGenome 2 identifica casi el doble de variantes que alteran la actividad de los genes y permite estudiar sus efectos célula a célula.

#AlphaGenome2 #GoogleDeepMind #InteligenciaArtificial #Genetica #ADN #GenomaHumano #Ciencia #Investigacion…
Google lanza AlphaGenome 2 para predecir efectos del ADN en células
Google DeepMind presenta AlphaGenome 2, un modelo que predice cómo actúan las variantes del ADN en distintos tipos de células y estudia enfermedades.
elfolio.es
November 11, 2026 at 6:57 PM
RT @PatrickToulme: Great event last night @GoogleDeepMind Miami.

Miami has one of the fastest growing AI communities, and they are building with Gemini.

@LyalinDotCom did a great job hosting
November 6, 2026 at 8:59 PM
Gemini 4 Carbon reaches the Gemini app, but only on Google’s top AI Ultra plan #Gemini4Carbon #GoogleAiUltra #GoogleDeepmind
Gemini 4 Carbon reaches the Gemini app, but only on Google’s top AI Ultra plan
Google's strongest model has left its security-researcher preview. Developers and companies can now pay for it by the token, but in the Gemini app it sits behind the AI Ultra subscription, and its API
www.martincid.com
November 11, 2026 at 7:15 AM