DeepMind's AlphaProof Code formally verified parts of Signal
A four-week proof of concept found no new flaws and correctly flagged known bugs in older versions.
1
Stories per day · 30 days
6 RSS
Relatedgemini16prompt-injection4world-model4benchmarks3frontier-model3jailbreak3model-release3robotics3cryptography2cybersecurity2cybersecurity-benchmarks2eudr2fairwind2forest-mapping2gemini-robotics2genie2genie-42simulation2
64 stories, newest first · one card per story
Stories tagged #google-deepmind
Google launches Gemini Decisions API and Gemini Decision 1
One request can score up to 1,000 closed-set questions for $0.10 per million input tokens, with output tokens free.
1
Google releases Gemini 4 Carbon for developers and consumers
Introductory pricing matches Gemini 4 Argon at $2 per million input tokens and $10 per million output tokens.
2
DeepMind unveils Gemini Robotics 2.5 and ASIMOV-jailbreak benchmark
Apollo 2 robots kitted parts in Mercedes factories at 96% success; the open jailbreak set has 1,500 prompts.
DeepMind agents lower the cost of attacking 1024-bit RSA
A sandboxed rerun forged signatures in 391 core-years versus 1,380 previously; DeepMind says 2048-bit keys stay secure.
Google rolls out Gemini Omni 1.2 Flash with 15-second clips
The video model is generally available on the Gemini API at $0.07 per second of 720p, 30% below Omni 1.1.
1
DeepMind and WRI publish ForTy, a global 2020 forest-type map
ForTy labels six land classes at 10-meter resolution and was judged correct on 90.2 percent of 8,190 sites.
2
PlanAssist AI cuts planning officer time by 58%
PlanAssist enters 12-month beta with 15 UK councils, full rollout planned for 2027.
Google unveils Gemini 4 Carbon with leading cyber benchmarks
Access is limited to some cyber defenders under Fairwind, and Google says it resisted every tested indirect prompt injection.
1
Google unveils Gemini 4 Carbon for security and coding work
Access starts with selected cyber defenders via Fairwind at $2 per million input tokens before a later price rise.
1
Google launches Gemini 4 Carbon first for cyber defenders
DeepMind claims 88.2% on SEC-bench Pro; Artificial Analysis ranks Carbon first on Intelligence Index v5 at 59.
3
Google DeepMind releases Gemini 4 Carbon two weeks after Argon
Carbon leads Artificial Analysis Intelligence Index v5.0 at 59 versus Argon’s 50, with stronger security-benchmark scores.
1
Google DeepMind introduces Gemini 4 Carbon for cyber defense and coding
The retrieved page is only a cookie notice, so no capabilities, access, or benchmarks are stated.
1
Google DeepMind announces Gemini 4 Carbon frontier model
Limited access starts with cyber defenders under Fairwind, at Argon’s $2/$10 per million token prices.
3
Google DeepMind introduces Genie 4 real-time world model
The title says Genie 4 includes native audio, but the captured page is only a cookie notice.
1
Google DeepMind releases Genie 4 world model in research preview
Trusted testers get it now; Google AI Ultra and Gemini API partners follow in the coming weeks.
1
DeepMind announces Genie 4 real-time world model with native audio
A research preview goes to trusted testers first, then Google AI Ultra subscribers in Project Genie and early Gemini API partners.
1
DeepMind releases 10-meter global forest-type map ForTy 2020
ForTy labels six land classes and adds a 2017–2025 series showing what replaced natural forest.
2
Hassabis now puts AGI two to three years away
Earlier this year he said three to five years; he also wants a government-controlled board to vet models before release.
Google's Gemini 4 Argon is closer to the AI frontier than any Google model in months
Gemini 4 Argon scored 97.5% on ARC-AGI-3, near GPT-6 Astra but weaker in math and coding.
12
Accelerating the search for antimicrobial peptides with Google Antigravity
DeepMind used Antigravity and ProtNLM to prioritize a novel antimicrobial peptide now entering wet-lab validation.
13
Google says self-improving AI isn't anywhere close
Google DeepMind says AI has not accelerated its own research despite writing most production code.
4
Developing Gemini 4 Argon responsibly and safely
DeepMind details safeguards as it broadly rolls out Gemini 4 Argon to defenders and the public.
7
Gemini 4 Argon
Google DeepMind launched Gemini 4 Argon for science, coding, robotics, and cyber defense.
7