#Gemini Carbon

1 articles with this tag

DeepMind proved Signal code with 6M lines
AI Research

DeepMind proved Signal code with 6M lines

Google DeepMind's AlphaProof Code generated 6M lines of Lean to verify Signal's crypto code in four weeks, with humans reviewing 1%.

1 minute ago