BB84 क्वांटम की वितरण के लिए पहला मशीन-सत्यापित परिमित-कुंजी सुरक्षा प्रमाण जो सुसंगत हमलों के विरुद्ध संयुक्त सुरक्षा प्राप्त करता है। एंट्रॉपी सीमाओं में सुधार करता है और औपचारिक क्वांटम क्रिप्टोग्राफी के लिए खुला स्रोत Lean पुस्तकालय जारी करता है।

#क्वांटमक्रिप्टोग्राफी #औपचारिकसत्यापन #अनुसंधान

Lemma AI सिस्टम ने Lean का उपयोग करके Nielsen-Chuang पाठ्यपुस्तक से 1,019 क्वांटम कंप्यूटिंग प्रमाणों को स्वायत्त रूप से औपचारिक बनाया, मशीन-सत्यापनीय वैज्ञानिक तर्क में अभूतपूर्व पैमाने को प्राप्त किया।

#औपचारिकसत्यापन #क्वांटमकंप्यूटिंग #समाचार

AxQM से मिलिए: नील्सन और चुआंग की पाठ्यपुस्तक से 1,019 औपचारिक रूप से सत्यापित क्वांटम कंप्यूटिंग प्रमाण। अब तक का सबसे बड़ा भौतिकी-केंद्रित प्रमाण बेंचमार्क, क्वांटम सूचना सिद्धांत में AI-सहायता प्रमेय सिद्ध करने को आगे बढ़ा रहा है।

#क्वांटमकंप्यूटिंग #औपचारिकसत्यापन #अनुसंधान