Google Deepmind'ın AlphaProof Kodu, Signal'in kriptografik çekirdeğini yıllar yerine dört haftada doğruladı
🔗 Ayrıca yazanlar: deepmind.google
Özgün başlık: Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google Deepmind'ın AlphaProof Kodu, Signal'in kriptografik çekirdek kodunu dört haftada matematiksel olarak doğruladı; bu genellikle yıllar süren bir süreçtir. Gemini Carbon tarafından desteklenen yapay zeka ajanları, altı milyon satırdan fazla kanıt kodu yazdı ve yalnızca yüzde birini insan incelemesi için işaretledi.
Deepmind, yöntemi elektrik şebekeleri ve tıbbi cihazlar gibi kritik altyapılara genişletmeyi planlıyor. Google Deepmind'in AlphaProof Code'u, Signal'in kriptografik çekirdeğini yıllar yerine dört haftada doğruladı makalesi ilk olarak The Decoder'da yayınlandı.
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 .
El código AlphaProof de Google Deepmind verificó matemáticamente el código central criptográfico de Signal en cuatro semanas, un proceso que normalmente lleva años. Los agentes de IA impulsados por Gemini Carbon escribieron más de seis millones de líneas de código de prueba y marcaron solo alrededor del uno por ciento para revisión humana.
Deepmind planea extender el método a infraestructuras críticas como redes eléctricas y dispositivos médicos. El artículo El código AlphaProof de Google Deepmind verificó el núcleo criptográfico de Signal en cuatro semanas en lugar de años apareció por primera vez en The Decoder.
Код AlphaProof от Google Deepmind математически проверил основной криптографический код Signal за четыре недели — процесс, который обычно занимает годы. Агенты искусственного интеллекта, работающие на базе Gemini Carbon, написали более шести миллионов строк проверочного кода и пометили лишь около одного процента для проверки человеком.
Deepmind планирует распространить этот метод на критически важную инфраструктуру, такую как электросети и медицинское оборудование. Статья AlphaProof Code Google Deepmind проверила криптографическое ядро Signal за четыре недели вместо лет и впервые появилась на сайте The Decoder.