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. Deepmind plans to extend the method to critical infrastructure like power grids and medical devices.
The article Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years appeared first on The Decoder.
source & further reading
the-decoder.com — original article
DeepL wants real-time translation to finally capture sarcasm and mood shifts
OpenAI turns ChatGPT into a business directory with AI agents that handle customer questions
Nvidia's model GR00T 2 watches humans on video, then imagines itself as the robot