Anthropic ने हाल ही में घोषणा की कि उसका Claude AI ने 11 दिनों में फर्मा के अंतिम प्रमेय का औपचारिक सबूत स्वतंत्र रूप से पूरा कर लिया है, जिसमें लगभग 1300 लाख पंक्तियाँ उत्पन्न की गईं, जिन्हें पंक्ति-दर-पंक्ति मशीन द्वारा सत्यापित किया जा सकता है, और इसे गणितज्ञ केविन बज़र्ड द्वारा सत्यापित कर लिया गया है। यह कार्य दर्जनों Claude एजेंट्स द्वारा समानांतर रूप से आगे बढ़ाया गया, जिसमें पेंग तियान के समूह द्वारा विकसित सहयोगी उपकरण Prove2Me का उपयोग किया गया, जिससे वास्तविक समय में कार्यों की सूची के माध्यम से विभाजन समन्वयित हुआ; प्रमाण में लगभग 7% पंक्तियाँ प्रारंभिक गलत प्रयासों से आईं, और औपचारिक प्रक्रिया Lean भाषा का उपयोग करती है, जिससे प्रत्येक तार्किक कदम को कंप्यूटर द्वारा जाँचा जा सकता है।
xiyuसाझा करें
स्रोत:मूल दिखाएं
डिस्क्लेमर: इस पेज पर दी गई जानकारी थर्ड पार्टीज़ से प्राप्त की गई हो सकती है और यह जरूरी नहीं कि KuCoin के विचारों या राय को दर्शाती हो। यह सामग्री केवल सामान्य सूचनात्मक उद्देश्यों के लिए प्रदान की गई है, किसी भी प्रकार के प्रस्तुतीकरण या वारंटी के बिना, न ही इसे वित्तीय या निवेश सलाह के रूप में माना जाएगा। KuCoin किसी भी त्रुटि या चूक के लिए या इस जानकारी के इस्तेमाल से होने वाले किसी भी नतीजे के लिए उत्तरदायी नहीं होगा।
डिजिटल संपत्तियों में निवेश जोखिम भरा हो सकता है। कृपया अपनी वित्तीय परिस्थितियों के आधार पर किसी प्रोडक्ट के जोखिमों और अपनी जोखिम सहनशीलता का सावधानीपूर्वक मूल्यांकन करें। अधिक जानकारी के लिए, कृपया हमारे उपयोग के नियम और जोखिम प्रकटीकरण देखें।