DeepMind formally verifies parts of the Signal protocol with AlphaProof Code
A four-week proof-of-concept found no new flaws in the portions checked and correctly flagged known bugs in older Signal versions.
1
Stories per day · 30 days
5 RSS
Relatedgemini5google5formal-verification3alphagenome2alphaproof2benchmarks2gemini-4-argon2genie2genomics2robotics2signal2agents1alphago1anthropic1api1autonomous-agents1cell-biology1cryptography1
40 stories, newest first · one card per story
Stories tagged #deepmind
DeepMind unveils AlphaGenome 2 for cell-level genetic variant effects
Trained on more than 100 million cell profiles, it is available today for non-commercial research through the AlphaGenome API.
Google releases Gemini Omni 1.2 Flash with 15-second clips and 30% price cut
The model adds multi-turn editing, spoof-resistant reference following and SynthID watermarks; general availability is a first for Gemini Omni.
Anthropic hiring manager drops coding interviews as AI labs ship updates
The roundup also covers Genie 4's limited preview, a Lean formalization of CFSG, and disputed ETH claims.
Google DeepMind unveils Genie 4 real-time world model as research preview
Only select testers have it now; Google AI Ultra subscribers and early Gemini API partners are due next, with SynthID on outputs.
1
Ex-DeepMind researcher proposes AlphaGo-style ledger against hallucinations
Metis Reasoning’s white paper is only a research program, with no working system, benchmarks, or model comparisons.
1
Google DeepMind staff resign over military AI contracts
Engineers say this year's Pentagon deals widen classified use with weak oversight; Google says reviews follow its AI principles.
Four Gemini 4 Argon agents beat Minecraft without human help
They slew the Ender Dragon in 27 hours 14 minutes after writing 2,783 programs and dying 605 times.
Google wants Gemini 4 Argon to be the only AI model robots need
Google pitches Gemini 4 Argon as one robotics model for control, simulation, and training-data grading.
Google Releases Gemini 4 Argon API With 1M Token Output Limit
Google opened Gemini 4 Argon on the paid API, a sparse MoE model with a combined 1M-token window.
11
Google DeepMind and Singapore Government collaborate to build fine-tuned AI model for scam detection
DeepMind and Singapore's GovTech fine-tuned on-device Gemma to detect scams without cloud message scanning.
4
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
DeepMind's AlphaProof Nexus, built on Gemini 3.1 Pro, solved long-open math problems in a peer-reviewed Science study.
Google's Gemini 4 "Carbon" model is reportedly matching Anthropic's Opus 5.5 coding performance
Google's internal Gemini 4 'Carbon' variant reportedly matches Anthropic's Opus 5.5 coding performance on its internal Jetski platform.
Why AlphaFold Didn't Solve Protein Folding — Pushmeet Kohli, Google DeepMind & Sal Candido, Biohub
DeepMind and Biohub researchers say AlphaFold did not solve protein folding and biology needs better data, not just scale.
Zuckerberg's Biohub leads a $1.8 billion push to build AI models that predict cell behavior
Zuckerberg's Biohub is leading a $1.8 billion effort to build AI models that predict cell behavior.
An OpenAI safety employee has quit and is sounding the alarm
Former OpenAI safety-report author David Robinson resigned and warned that frontier labs need nuclear-grade operational safeguards.
Deepmind researchers propose "Artificial Symbiotic Intelligence" as an alternative to the singularity
DeepMind researchers propose Artificial Symbiotic Intelligence as a human-machine alternative to a single superintelligent singularity.
9
Don’t be fooled—LLMs don’t reason
An MIT Technology Review essay argues today's LLMs lack AlphaGo-style search and do not truly reason.
Google makes Gemini 4 AI model available to a trusted few
Google limited-released Gemini 4 Argon to trusted cyber defenders, citing a US early-access safety review before wider availability.
AI beats Stratego's greatest player, ending one of the last human strongholds in board games
Ataraxos beat Stratego champion Niemeijer using far less compute than DeepMind's DeepNash.
Google Rolls Out Gemini 4 Argon to Trusted Cyber Defenders, Plans Guardrail-Free Version
Google DeepMind's Gemini 4 Argon frontier model rolls out to trusted cyber defenders, with autonomous vulnerability discovery and a planned guardrail-free version.
3
Google’s SynthID Bio can watermark AI-designed protein binders without breaking them
DeepMind's SynthID Bio watermarks AI-designed proteins for screening without hurting binder function.
Google announces Gemini 4 and says it’s so capable that only ‘trusted cyber defenders’ can have it right now
Google unveiled Gemini 4 Argon but is limiting access to trusted cyber defenders.
Gemini 4 Argon: our next era of frontier intelligence
DeepMind unveiled Gemini 4 Argon, a phased frontier model aimed at coding, knowledge work, and cyber defense.
10