{
  "type": "article",
  "title": "ऐक्सिओम मैथ ने गणित में एआई की गलतियों को रोकने के लिए उठाया बड़ा कदम",
  "summary": "एआई स्टार्टअप ऐक्सिओम मैथ ने स्टैक्स प्रोजेक्ट को पूरी तरह से औपचारिक रूप से सत्यापित कर दिया है, जिससे 7,654 पृष्ठों को 1.6 करोड़ लाइनों के कोड में बदला गया है।",
  "content": "गणित की दुनिया में एआई के बढ़ते दखल के बीच अब इसकी शुद्धता और सटीकता को लेकर चिंताएं भी गहरी होने लगी हैं। हाल ही में ओपनएआई की ओर से गणित की कठिन समस्याओं के समाधान के रूप में कई पांडुलिपियां जारी की गईं, लेकिन कंप्यूटर जांच प्रणालियों में भी कई बार त्रुटियां सामने आ जाती हैं। इसी चुनौती से निपटने के लिए 1.6 अरब डॉलर के मूल्यांकन वाले स्टार्टअप ऐक्सिओम मैथ ने एक मजबूत और प्रमाणित आधार तैयार करने का बीड़ा उठाया है ताकि भविष्य में एआई एजेंट सॉफ्टवेयर निर्माण और विज्ञान के क्षेत्र में अधिक भरोसेमंद तरीके से काम कर सकें।\n\nबुधवार को ऐक्सिओम मैथ ने अपने एक बड़े मील के पत्थर की घोषणा करते हुए बताया कि उन्होंने स्टैक्स प्रोजेक्ट को औपचारिक रूप से सत्यापित कर लिया है। यह प्रोजेक्ट इंसानों द्वारा लिखे गए गणित के सबसे विशाल संग्रहों में से एक है। गणितज्ञ इस प्रोजेक्ट को अत्यधिक सम्मान की दृष्टि से देखते हैं और कोलंबिया विश्वविद्यालय के गणितज्ञ पीटर वोइट ने इसकी तुलना बीसवीं शताब्दी में गणित की नींव को नए सिरे से गढ़ने वाली प्रसिद्ध बोरबाकी पुस्तकों की श्रृंखला से की है।\n\nकोलंबिया विश्वविद्यालय के ही जोहान डी जोंग ने साल 2005 में इस स्टैक्स प्रोजेक्ट की शुरुआत एक ओपन सोर्स संदर्भ के रूप में की थी। तब से लेकर अब तक दुनिया भर के गणितज्ञ इसमें लगातार अपना योगदान देते आ रहे हैं, जिसमें कॉलेज स्तर के बीजगणित से लेकर बीजगणितीय ज्यामिति और संख्या सिद्धांत तक के उन्नत विचार शामिल हैं। कंपनी के एआई एजेंटों के बेड़े ने इस विशाल पुस्तकालय के लगभग 7,654 पृष्ठों का अनुवाद करके कंप्यूटर द्वारा जांची गई लगभग 1.6 करोड़ लाइनों के कोड में बदल दिया है।\n\n \n\nऔपचारिक सत्यापन और कोड की प्रक्रिया\n\nगणित को औपचारिक रूप देने का मुख्य उद्देश्य यह सुनिश्चित करना होता है कि उसके नीचे की संरचना पूरी तरह से ठोस है या नहीं। इस प्रक्रिया में गणितज्ञ किसी प्रमाण को लीन नामक प्रोग्रामिंग भाषा में कोड के रूप में लिखते हैं और फिर प्रूफ असिस्टेंट नामक एक विशेष कार्यक्रम इस कोड की एक-एक पंक्ति की जांच करता है। यदि यह प्रमाण इस जांच में खरा उतरता है, तो गणितज्ञ यह मान सकते हैं कि वह तार्किक रूप से पूरी तरह सही है।\n\nइंजीनियर इसी तकनीक का उपयोग करके अपने चिप डिज़ाइन की पुष्टि करते हैं, जबकि फ्रांस के शोधकर्ताओं ने परिवार से जुड़े लाभों की गणना करने वाले सॉफ्टवेयर में आने वाली बग्स को पकड़ने के लिए इसका इस्तेमाल किया है। स्टैक्स प्रोजेक्ट जैसे व्यापक पुस्तकालय के लिए केवल प्रत्येक प्रमेय की अलग से जांच करना ही काफी नहीं होता है, क्योंकि इसके सभी प्रमेय और परिभाषाएं एक-दूसरे से गहराई से जुड़ी हुई हैं और हर नया भाग अपने से पहले के हिस्सों पर आधारित होता है।\n\n \n\nआपसी जुड़ाव और विशाल जटिलता\n\nइस गहरी परस्पर जुड़ी हुई संरचना के कारण शुरुआत में कंपनी को यह संदेह था कि यह परियोजना सफल हो पाएगी या नहीं। तकनीकी टीम को लगभग 1.6 करोड़ लाइनों के लीन कोड में इन सभी आपसी संबंधों और कड़ियों को पूरी तरह सुरक्षित रखना था। ऐक्सिओम की सीईओ करीना हाँग ने इस बारे में बात करते हुए कहा कि जीवन में विशाल और नाज़ुक चीजें एक साथ आसानी से नहीं चलती हैं, और स्टैक्स गणित के उन परिणामों का संग्रह है जो इस पूरे विषय की मूल नींव बनाते हैं।\n\nमार्च 2025 में इस स्टार्टअप की स्थापना करने वाली 25 वर्षीय सीईओ करीना हाँग ने स्टैनफोर्ड विश्वविद्यालय के गणित पीएचडी कार्यक्रम को बीच में ही छोड़ दिया था। इसी साल मार्च में कंपनी ने मेनलो वेंचर्स के नेतृत्व में 20 करोड़ डॉलर का सीरीज ए फंड जुटाया था। करीना हाँग के अनुसार, शुरुआत में टीम को यह भी पूरी तरह स्पष्ट नहीं था कि वाइब कोडिंग इस विशाल परियोजना की सुंदरता और शुद्धता को सहेज पाएगी या नहीं।\n\n \n\nसमानांतर एजेंट और इन-हाउस मॉडल\n\nइस चुनौती से पार पाने के लिए तकनीकी टीम ने अपने एआई एजेंटों को एक लचीली संरचना सौंपी और उन्हें समानांतर रूप से काम करने की छूट दी। ऐक्सिओम के तकनीकी स्टाफ के सदस्य अश्निन स्वामीनाथन ने बताया कि स्टैक्स के मामले में उन्होंने एक पदानुक्रम जरूर तय किया था, लेकिन वह ऐसा सख्त ढांचा नहीं था जो हर एक एजेंट के हर कदम को निर्देशित कर रहा हो, बल्कि एजेंट खुद अपने लिए कार्य ढूंढ रहे थे और ऐसे क्षेत्रों की पहचान कर रहे थे जिन पर वे एक साथ मिलकर काम कर सकें।\n\nइसके अलावा कंपनी ने अपने खुद के ऐसे मॉडल भी प्रशिक्षित किए जो गणित में माहिर हों, जिसे करीना हाँग ने एक ऐसा दृष्टिकोण बताया जिसे अन्य सत्यापन स्टार्टअप्स ने नहीं अपनाया है। शुरुआत में टीम ने एजेंटों को इंसानों जैसी समझ और परख सिखाने के लिए अपने ही एक लीन विशेषज्ञ की मदद ली, लेकिन समय के साथ एजेंटों ने खुद ही इस खूबी को आत्मसात कर लिया।\n\n \n\nबीजगणितीय ज्यामिति का नया द्वार\n\nइस पूरी सफलता ने औपचारिक गणित के क्षेत्र में मौजूद एक बहुत बड़े खालीपन को भर दिया है। अश्निन स्वामीनाथन ने रेखांकित किया कि जब गणित के औपचारिक रूप से सत्यापित क्षेत्र को देखा जाता था, तो वहां एक बहुत बड़ा काला क्षेत्र नजर आता था जो बीजगणितीय ज्यामिति को कवर करता था। अब तक जो शोधकर्ता लीन की मदद से बीजगणितीय ज्यामिति के नए कार्यों की जांच करना चाहते थे, उनके पास आगे बढ़ने के लिए बहुत सीमित आधार था, लेकिन इस प्रोजेक्ट के बाद अब उनके पास एक ठोस शुरुआत मौजूद है।\n\nऐक्सिओम का तर्क है कि प्रत्येक सत्यापित परिणाम एक मजबूत ईंट की तरह काम करता है, जिससे भविष्य के प्रमाण शून्य से शुरुआत करने के बजाए पहले से जांची गई गणितीय प्रणालियों पर टिक सकते हैं। यूसीएलए के गणितज्ञ और फील्ड्स मेडल विजेता टेरेंस ताओ ने इस सामान्य बात को स्पष्ट करते हुए कहा है कि जितने अधिक औपचारिक प्रमाण आपके पास होंगे, उतने ही अधिक नए औपचारिक प्रमाण आप तैयार कर पाएंगे।\n\n \n\nभविष्य की सॉफ्टवेयर सुरक्षा और खुली चुनौती\n\nकेवल गणितज्ञ ही इस पहल के एकमात्र लक्षित उपयोगकर्ता नहीं हैं। डेवलपर्स लंबे समय से इस बात को लेकर संघर्ष करते आए हैं कि उनका लिखा हुआ कोड किसी भी तरह की बग या सुरक्षा कमियों से पूरी तरह मुक्त हो। जैसे-जैसे एआई एजेंट दुनिया भर का अधिक कोड लिखना शुरू कर रहे हैं, यह समस्या और भी गंभीर होती जा रही है। ऐक्सिओम का यह मानना है कि भविष्य के सॉफ्टवेयर को भी ऐसे ही सत्यापित आधारों की आवश्यकता होगी जिस तरह से स्टैक्स अब तैयार हो चुका है।\n\nअश्निन स्वामीनाथन ने कहा कि उनका विश्वास है कि गणित वह क्षेत्र है जहां से इन चीजों का निर्माण शुरू किया जाना चाहिए और यह एक ऐसी कौशल है जिसे अन्य क्षेत्रों में भी स्थानांतरित किया जा सकता है। करीना हाँग इस दृष्टिकोण को लेकर इतनी आश्वस्त हैं कि उन्होंने खुले तौर पर अन्य सभी कोडिंग कंपनियों को इस पैमाने पर औपचारिक सत्यापन के क्षेत्र में काम करने की चुनौती दी है।\n\nइसका आप पर असर\nयह तकनीकी विकास सॉफ्टवेयर इंजीनियरिंग और गणितीय अनुसंधान के क्षेत्र में काम करने वाले पेशेवरों और तकनीकी स्टार्टअप्स के लिए दूरगामी परिणाम लेकर आया है।\n\n• सॉफ्टवेयर विकास: भविष्य में एआई द्वारा लिखे जाने वाले कोड की गुणवत्ता और सुरक्षा में उल्लेखनीय सुधार होगा जिससे बग और कमियों की गुंजाइश कम हो जाएगी।\n• शोध कार्य: गणितज्ञों और शोधकर्ताओं को बीजगणितीय ज्यामिति जैसे जटिल क्षेत्रों में काम करने के लिए एक मजबूत और सत्यापित डिजिटल आधार मिल सकेगा।\n• स्टार्टअप पारिस्थितिकी तंत्र: औपचारिक सत्यापन के क्षेत्र में काम कर रही कंपनियों के लिए निवेश और विकास के नए रास्ते खुलेंगे।\n• तकनीकी मानक: एआई जनित सामग्री और कोड में गुणवत्ता बनाए रखने के लिए नए उद्योग मानक स्थापित होंगे।\n\nऐसा क्यों हुआ\nगणित के क्षेत्र में एआई की बढ़ती भूमिका और लगातार सामने आ रही अशुद्धियों को रोकने के लिए इस औपचारिक सत्यापन की आवश्यकता महसूस की गई।\n\n• बढ़ती अशुद्धियां: एआई मॉडल द्वारा गणितीय समस्याओं के समाधान के नाम पर बड़ी संख्या में अप्रमाणित पांडुलिपियां जारी किए जाने से त्रुटियों का जोखिम बढ़ गया था।\n• जटिल अंतर्संबंध: स्टैक्स प्रोजेक्ट जैसी विशाल गणितीय प्रणालियों में लाखों परिभाषाएं और प्रमेय एक-दूसरे से गहराई से जुड़े होने के कारण उन्हें हाथ से जांचना असंभव था।\n• एआई एजेंटों की क्षमता: समानांतर रूप से काम करने वाले स्वायत्त एआई एजेंटों के विकास ने विशाल पुस्तकालयों को कंप्यूटर-जांची गई लाइनों में बदलने का मार्ग प्रशस्त किया।\n\nसवाल-जवाब\n\n1. ऐक्सिओम मैथ ने हाल ही में किस बड़ी परियोजना को सत्यापित किया है?\nऐक्सिओम मैथ ने स्टैक्स प्रोजेक्ट को औपचारिक रूप से सत्यापित किया है जो इंसानों द्वारा लिखे गए गणित के सबसे बड़े संग्रहों में से एक है।\n\n2. स्टैक्स प्रोजेक्ट के अनुवाद में कितने पृष्ठों और कोड लाइनों का उपयोग हुआ है?\nइस परियोजना के लगभग 7,654 पृष्ठों को कंप्यूटर द्वारा जांची गई लगभग 1.6 करोड़ लाइनों के लीन कोड में बदला गया है।\n\n3. ऐक्सिओम मैथ की स्थापना किसने और कब की थी?\nइस स्टार्टअप की स्थापना मार्च 2025 में 25 वर्षीय करीना हाँग ने की थी जिन्होंने स्टैनफोर्ड विश्वविद्यालय की पीएचडी बीच में छोड़ दी थी।\n\n4. इस परियोजना के लिए किस प्रोग्रामिंग भाषा का उपयोग किया गया है?\nगणितीय प्रमाणों को कोड के रूप में लिखने के लिए लीन नामक प्रोग्रामिंग भाषा का उपयोग किया गया है।\n\n5. कंपनी ने मार्च में कितनी फंडिंग जुटाई थी?\nऐक्सिओम मैथ ने मार्च में मेनलो वेंचर्स के नेतृत्व में 20 करोड़ डॉलर का सीरीज ए फंड जुटाया था।\n\nप्रेरणा और सबक\nऐक्सिओम मैथ की यह यात्रा स्टार्टअप संस्थापकों और तकनीकी शोधकर्ताओं के लिए महत्वपूर्ण प्रेरणा और सबक देती है।\n\n• कठिन चुनौतियों का चयन: सबसे जटिल और उपेक्षित क्षेत्रों जैसे कि गणितीय औपचारिकीकरण को चुनकर एक मजबूत आधार तैयार किया जा सकता है।\n• स्वायत्त सहयोग: एआई एजेंटों को पूरी तरह से कठोर निर्देश देने के बजाय उन्हें लचीलापन और समानांतर कार्य करने की स्वतंत्रता देना अधिक प्रभावी होता है।\n• दीर्घकालिक दृष्टिकोण: तात्कालिक शॉर्टकट अपनाने के बजाय गुणवत्ता और पुनर्चक्रण योग्य ज्ञान पुस्तकालयों का निर्माण करना भविष्य की सफलता की कुंजी है।",
  "url": "https://trendkia.com/ai/axiom-math-works-to-keep-ai-slop-out-of-mathematics-57990",
  "category": "एआई",
  "publishedAt": "2026-11-08",
  "tags": [
    "एआई",
    "गणित",
    "स्टैक्स प्रोजेक्ट",
    "करीना हाँग",
    "सॉफ्टवेयर",
    "तकनीक"
  ],
  "language": "hi",
  "site": "TrendKia",
  "whatItMeansForYou": "यह तकनीकी विकास सॉफ्टवेयर इंजीनियरिंग और गणितीय अनुसंधान के क्षेत्र में काम करने वाले पेशेवरों और तकनीकी स्टार्टअप्स के लिए दूरगामी परिणाम लेकर आया है।\n\n• सॉफ्टवेयर विकास: भविष्य में एआई द्वारा लिखे जाने वाले कोड की गुणवत्ता और सुरक्षा में उल्लेखनीय सुधार होगा जिससे बग और कमियों की गुंजाइश कम हो जाएगी।\n• शोध कार्य: गणितज्ञों और शोधकर्ताओं को बीजगणितीय ज्यामिति जैसे जटिल क्षेत्रों में काम करने के लिए एक मजबूत और सत्यापित डिजिटल आधार मिल सकेगा।\n• स्टार्टअप पारिस्थितिकी तंत्र: औपचारिक सत्यापन के क्षेत्र में काम कर रही कंपनियों के लिए निवेश और विकास के नए रास्ते खुलेंगे।\n• तकनीकी मानक: एआई जनित सामग्री और कोड में गुणवत्ता बनाए रखने के लिए नए उद्योग मानक स्थापित होंगे।",
  "whyItHappened": "गणित के क्षेत्र में एआई की बढ़ती भूमिका और लगातार सामने आ रही अशुद्धियों को रोकने के लिए इस औपचारिक सत्यापन की आवश्यकता महसूस की गई।\n\n• बढ़ती अशुद्धियां: एआई मॉडल द्वारा गणितीय समस्याओं के समाधान के नाम पर बड़ी संख्या में अप्रमाणित पांडुलिपियां जारी किए जाने से त्रुटियों का जोखिम बढ़ गया था।\n• जटिल अंतर्संबंध: स्टैक्स प्रोजेक्ट जैसी विशाल गणितीय प्रणालियों में लाखों परिभाषाएं और प्रमेय एक-दूसरे से गहराई से जुड़े होने के कारण उन्हें हाथ से जांचना असंभव था।\n• एआई एजेंटों की क्षमता: समानांतर रूप से काम करने वाले स्वायत्त एआई एजेंटों के विकास ने विशाल पुस्तकालयों को कंप्यूटर-जांची गई लाइनों में बदलने का मार्ग प्रशस्त किया।",
  "questionsAndAnswers": [
    {
      "question": "ऐक्सिओम मैथ ने हाल ही में किस बड़ी परियोजना को सत्यापित किया है?",
      "answer": "ऐक्सिओम मैथ ने स्टैक्स प्रोजेक्ट को औपचारिक रूप से सत्यापित किया है जो इंसानों द्वारा लिखे गए गणित के सबसे बड़े संग्रहों में से एक है।"
    },
    {
      "question": "स्टैक्स प्रोजेक्ट के अनुवाद में कितने पृष्ठों और कोड लाइनों का उपयोग हुआ है?",
      "answer": "इस परियोजना के लगभग 7,654 पृष्ठों को कंप्यूटर द्वारा जांची गई लगभग 1.6 करोड़ लाइनों के लीन कोड में बदला गया है।"
    },
    {
      "question": "ऐक्सिओम मैथ की स्थापना किसने और कब की थी?",
      "answer": "इस स्टार्टअप की स्थापना मार्च 2025 में 25 वर्षीय करीना हाँग ने की थी जिन्होंने स्टैनफोर्ड विश्वविद्यालय की पीएचडी बीच में छोड़ दी थी।"
    },
    {
      "question": "इस परियोजना के लिए किस प्रोग्रामिंग भाषा का उपयोग किया गया है?",
      "answer": "गणितीय प्रमाणों को कोड के रूप में लिखने के लिए लीन नामक प्रोग्रामिंग भाषा का उपयोग किया गया है।"
    },
    {
      "question": "कंपनी ने मार्च में कितनी फंडिंग जुटाई थी?",
      "answer": "ऐक्सिओम मैथ ने मार्च में मेनलो वेंचर्स के नेतृत्व में 20 करोड़ डॉलर का सीरीज ए फंड जुटाया था।"
    }
  ],
  "inspiration": "ऐक्सिओम मैथ की यह यात्रा स्टार्टअप संस्थापकों और तकनीकी शोधकर्ताओं के लिए महत्वपूर्ण प्रेरणा और सबक देती है।\n\n• कठिन चुनौतियों का चयन: सबसे जटिल और उपेक्षित क्षेत्रों जैसे कि गणितीय औपचारिकीकरण को चुनकर एक मजबूत आधार तैयार किया जा सकता है।\n• स्वायत्त सहयोग: एआई एजेंटों को पूरी तरह से कठोर निर्देश देने के बजाय उन्हें लचीलापन और समानांतर कार्य करने की स्वतंत्रता देना अधिक प्रभावी होता है।\n• दीर्घकालिक दृष्टिकोण: तात्कालिक शॉर्टकट अपनाने के बजाय गुणवत्ता और पुनर्चक्रण योग्य ज्ञान पुस्तकालयों का निर्माण करना भविष्य की सफलता की कुंजी है।"
}