AI और दुनिया की कठिन समस्याएँ · क्वांटम भौतिकी और क्वांटम कंप्यूटिंग · arXiv · 2026-10-23

Lean-QuantumAlg: AI एजेंटों के लिए ऐसे क्वांटम एल्गोरिदम बनाने का फ़्रेमवर्क जिन पर मनुष्य भरोसा कर सकें

मूल शीर्षक: Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust

AI एजेंट अब क्वांटम एल्गोरिदम और प्रूफ़ बना सकते हैं, लेकिन केवल मशीन-जाँचे गए प्रूफ़ यह गारंटी नहीं देते कि इच्छित समस्या हल हुई है या संसाधन संबंधी दावे सत्यापित गणना से मेल खाते हैं। लेखक Lean-QuantumAlg प्रस्तुत करते हैं, जो एक Lean 4 फ्रेमवर्क है और जिसका कॉन्ट्रैक्ट शुद्धता, सफलता की संभावना, उधार ली गई अवस्था की बहाली और संसाधन सीमाओं को एक ही निष्पादन से जोड़ता है। Grover search से लेकर RSA-2048 और P-256 पर क्वांटम हमलों तक, AI द्वारा औपचारिक रूप दिए गए नौ एल्गोरिदम पर प्रदर्शित इस फ्रेमवर्क में, साझा फ्रेमवर्क का ऑडिट हो जाने के बाद प्रत्येक एल्गोरिदम के इम्पोर्ट किए गए सोर्स कोड के 1% से कम हिस्से की मानव द्वारा स्टेटमेंट-स्तर की समीक्षा आवश्यक होती है।

मूल लेख पढ़ें ↗

सभी आइटम →