Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years

Technology · en

Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years

The Decoder · Nov 11, 2026, 6:18 PM UTC

Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core code in four weeks, a process that typically takes years. AI agents powered by Gemini Carbon wrote more than six million lines of proof code and flagged only about one percent for human review.…

Read original report Visit The Decoder

Technology · Ars Technica

Google DeepMind just mathematically verified key parts of Signal

The four-week project hints that AI could make formal verification far more practical.Read original ↗

Technology · The Decoder

Google DeepMind's Gemini Robotics 2.5 scores 96 percent sorting metal parts in a Mercedes-Benz assembly pilot

Google Deepmind introduced Gemini Robotics 2.5, a new control model for robots, and tested it with Apptronik on active Mercedes-Benz production lines in Hungary and Germany.…Read original ↗

Technology · WIRED

Best Indoor Garden Systems I’ve Been Testing for Years (2026)

Grow a backyard’s worth of greens and vegetables in your house with a hydroponic garden. Here are a few that might be worth the investment.Read original ↗

Technology · Engadget

Samsung Gallery now syncs with Google to back up your photos

You can now sync your photos and videos on select Samsung devices to your Google account.Read original ↗

Technology · Ars Technica

Google Fi adds support for a second 5G network, won't say which one

Fi has always supported T-Mobile, but the new one? Google won't say.Read original ↗

Technology · Engadget

The best-selling game console of all time is over 25 years old

Sony shipped over 160 million PlayStation 2 units over its 13-year run.Read original ↗