Zythum retweeted
BREAKING: Google DeepMind announces breakthrough in AI-powered genetics, unveiling a model that can potentially accelerate discoveries in cancer, diabetes, & other diseases.
Zythum retweeted
Google Gemini Now Shows What It Remembers About You — and Lets You Fix It tek.io/4sTr6L7
Zythum retweeted
For your biggest builds, we're previewing /swarm in @Antigravity, turning one prompt into a coordinated team of agents you can track in real time.
Assign Carbon to high-level roles like architectural design, coordination, and auditing while parallel agents build and test every change.
Zythum retweeted
NEW - EU approves the establishment of its first military mission presence on Ukrainian soil. Russia previously warned that European troops in Ukraine would become legitimate targets.
Zythum retweeted
This is massive and we are about to see a huge push towards more secure software because of AI.
Remember that the systems that can find the bugs can also fix them, as I've been saying for months now. Kneecap AI because of collective delusions and you kill our defenses too.
Also, how kick ass is freaking Signal, written by hand by brilliant humans?
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 of a widely deployed protocol has been formally verified – by any method, with or without AI – and at this depth.
More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.
Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.
Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices. This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.
Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.
On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.
I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger, Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.
deepmind.google/blog/formal-…
Zythum retweeted
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 of a widely deployed protocol has been formally verified – by any method, with or without AI – and at this depth.
More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.
Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.
Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices. This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.
Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.
On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.
I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger, Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.
deepmind.google/blog/formal-…
Zythum retweeted
Our new paper, and my first since joining Google DeepMind, is on the arXiv today!
Super exciting to see how we can leverage human expertise, Lean and AI to design better quantum algorithms including for full-scale scientific applications.
arxiv.org/abs/2611.09822
Wooops!
Claude Code settings files expose thousands of secrets on GitHub arstechnica.com/ai/2026/11/c…
9
Zythum retweeted
Deze jonge vrouw werd gevraagd: „Hoe denk je dat we kunnen voorkomen dat onze kinderen socialisten worden?” en in minder dan 15 seconden geeft ze het perfecte antwoord over wat precies de Democratische Partij probeert binnen te leiden en op te leggen aan ons land:
Zythum retweeted
#wnlopzondag
Voor de broodnodige humor, gejank en laf linkse zelfverheerlijking schakel ik altijd even naar #Nieman op zondagochtend.
De D66, VVD en PRO onzin in deze uitzending laat goed zien waarom Nederland de afgelopen 25 jaar zo ver is weggezakt.
Daar komt dan bij dat het anti semitisme gekoesterd wordt door onze bestuurders en media.
Wat een shit show, je wordt er treurig van.
Zythum retweeted
Shame on all the people , mostly men, for enabling this travesty. It’s a total joke
Zythum retweeted
TOK TOK TOK 🐓
Amsterdam bezuinigt maar liefst 30 miljoen euro op de jeugdzorg en verschuift dit geld naar kunst en cultuur. Met dat geld wordt onder andere een voorstelling voor KIPPEN gefinancierd.
U denkt dat dit een grap is?
Luister naar onze @JA21Rutger 👇
Zythum retweeted
Published in Science today: Magic state cultivation works in practice on our Willow processor. We achieved a 40x error reduction, compared to without cultivation, and 99.99% fidelity. Learn how this addresses a critical resource bottleneck: goo.gle/4yr8V0H
Zythum retweeted
BREAKING: Google announces a major breakthrough in quantum computing, achieving 99.99% accuracy in a key quantum operation.
Zythum retweeted
Textbook biology, brought to life right in your browser 🌿
This interactive 5-stage visual atlas built by Argon in @antigravity turns dense textbook biology into a hands-on experience. With fluid animations and scientific precision, you can scroll from a sunlit leaf all the way down to sub-cellular chloroplasts.
The model pairs accuracy with a seamless interactive design, demonstrating how to build educational tools that can make complex science visual and effortless to explore.
Zythum retweeted
I feel like we haven't seen enough of what Gemini 4 Argon can actually do ❤️🔥
I gave it one image of a Gothic Victorian carriage and asked it to build the whole thing as an interactive 3D experience.
Just one image and this is what you get.
A 174,000 face model from scratch, complete with opening doors, hinged windows, working wheel physics, suspension, flickering lanterns and even custom sculpted skulls.
All of this generated through code. No blender.
Argon absolutely delivered with this one too. Many more such experiments are on the way :D
Zythum retweeted
wow
AI will solve fusion
Huge breakthrough (thanks to Google A ) for fusion
Google’s Gemini 4 agents helped crack an open problem in plasma physics, proposing new exact solutions for 3D magnetic plasma configurations, with promising candidates appearing within hours.
The AI also wrote verification code, and researchers independently rederived and checked every derivation
"Gemini 4 Argon was also used to draft parts of the manuscript and write symbolic and numerical verification code. The authors chose the problem, steered the agents, and ran several rounds of adversarial review. Every derivation was independently re-derived and checked symbolically by the authors. The authors refined the interpretation and rewrote the manuscript, and take full responsibility for its content."
