Axiom Math गणित के प्रमाण अपने-आप जाँचने के लिए AI एजेंट का इस्तेमाल करता है
Axiom Math नाम की एक स्टार्टअप कंपनी का कहना है कि उसके AI एजेंट ने Stacks Project की औपचारिक रूप से पुष्टि कर दी है। Stacks Project गणित की एक बड़ी लाइब्रेरी है। कंपनी का तर्क है कि जैसे-जैसे AI बहुत सारे गणितीय प्रमाण बना रहा है जिन्हें किसी ने जाँचा नहीं है, वैसे-वैसे उन्हें अपने-आप जाँचना और भी ज़रूरी होता जा रहा है। कंपनी का दांव इस बात पर है कि सिर्फ़ ज़्यादा प्रमाण बनाने के बजाय उन्हें सत्यापित करने पर ध्यान दिया जाए।
आसान शब्दकोशAxiom Math, formally verified, Stacks Project
- Axiom Math
- एक स्टार्टअप जो AI एजेंट बनाती है जो गणितीय प्रमाणों की जाँच करते हैं, जैसा कि उस कहानी में बताया गया है जिसमें यह आती है।
- formally verified
- कंप्यूटर प्रोग्राम द्वारा जाँचा गया, जो पुष्टि करता है कि प्रमाण का हर चरण तार्किक रूप से सही है।
- Stacks Project
- Stacks Project एक बड़ा, मुफ़्त ऑनलाइन संदर्भ ग्रंथ है जिसमें उन्नत गणित के विषय हैं और जिसे कई गणितज्ञों ने मिलकर लिखा है।
बर्निंग पोटैटो स्कोर: 70%