# ऐक्सिओम मैथ ने गणित में एआई की गलतियों को रोकने के लिए उठाया बड़ा कदम

> एआई स्टार्टअप ऐक्सिओम मैथ ने स्टैक्स प्रोजेक्ट को पूरी तरह से औपचारिक रूप से सत्यापित कर दिया है, जिससे 7,654 पृष्ठों को 1.6 करोड़ लाइनों के कोड में बदला गया है।

**Type:** article · **Category:** एआई · **Published:** 2026-11-08 · **Source:** TrendKia
**Canonical:** https://trendkia.com/ai/axiom-math-works-to-keep-ai-slop-out-of-mathematics-57990 · **Language:** Hindi
**Tags:** एआई, गणित, स्टैक्स प्रोजेक्ट, करीना हाँग, सॉफ्टवेयर, तकनीक

गणित की दुनिया में एआई के बढ़ते दखल के बीच अब इसकी शुद्धता और सटीकता को लेकर चिंताएं भी गहरी होने लगी हैं। हाल ही में ओपनएआई की ओर से गणित की कठिन समस्याओं के समाधान के रूप में कई पांडुलिपियां जारी की गईं, लेकिन कंप्यूटर जांच प्रणालियों में भी कई बार त्रुटियां सामने आ जाती हैं। इसी चुनौती से निपटने के लिए 1.6 अरब डॉलर के मूल्यांकन वाले स्टार्टअप ऐक्सिओम मैथ ने एक मजबूत और प्रमाणित आधार तैयार करने का बीड़ा उठाया है ताकि भविष्य में एआई एजेंट सॉफ्टवेयर निर्माण और विज्ञान के क्षेत्र में अधिक भरोसेमंद तरीके से काम कर सकें।

बुधवार को ऐक्सिओम मैथ ने अपने एक बड़े मील के पत्थर की घोषणा करते हुए बताया कि उन्होंने स्टैक्स प्रोजेक्ट को औपचारिक रूप से सत्यापित कर लिया है। यह प्रोजेक्ट इंसानों द्वारा लिखे गए गणित के सबसे विशाल संग्रहों में से एक है। गणितज्ञ इस प्रोजेक्ट को अत्यधिक सम्मान की दृष्टि से देखते हैं और कोलंबिया विश्वविद्यालय के गणितज्ञ पीटर वोइट ने इसकी तुलना बीसवीं शताब्दी में गणित की नींव को नए सिरे से गढ़ने वाली प्रसिद्ध बोरबाकी पुस्तकों की श्रृंखला से की है।

कोलंबिया विश्वविद्यालय के ही जोहान डी जोंग ने साल 2005 में इस स्टैक्स प्रोजेक्ट की शुरुआत एक ओपन सोर्स संदर्भ के रूप में की थी। तब से लेकर अब तक दुनिया भर के गणितज्ञ इसमें लगातार अपना योगदान देते आ रहे हैं, जिसमें कॉलेज स्तर के बीजगणित से लेकर बीजगणितीय ज्यामिति और संख्या सिद्धांत तक के उन्नत विचार शामिल हैं। कंपनी के एआई एजेंटों के बेड़े ने इस विशाल पुस्तकालय के लगभग 7,654 पृष्ठों का अनुवाद करके कंप्यूटर द्वारा जांची गई लगभग 1.6 करोड़ लाइनों के कोड में बदल दिया है।

 

## औपचारिक सत्यापन और कोड की प्रक्रिया

गणित को औपचारिक रूप देने का मुख्य उद्देश्य यह सुनिश्चित करना होता है कि उसके नीचे की संरचना पूरी तरह से ठोस है या नहीं। इस प्रक्रिया में गणितज्ञ किसी प्रमाण को लीन नामक प्रोग्रामिंग भाषा में कोड के रूप में लिखते हैं और फिर प्रूफ असिस्टेंट नामक एक विशेष कार्यक्रम इस कोड की एक-एक पंक्ति की जांच करता है। यदि यह प्रमाण इस जांच में खरा उतरता है, तो गणितज्ञ यह मान सकते हैं कि वह तार्किक रूप से पूरी तरह सही है।

इंजीनियर इसी तकनीक का उपयोग करके अपने चिप डिज़ाइन की पुष्टि करते हैं, जबकि फ्रांस के शोधकर्ताओं ने परिवार से जुड़े लाभों की गणना करने वाले सॉफ्टवेयर में आने वाली बग्स को पकड़ने के लिए इसका इस्तेमाल किया है। स्टैक्स प्रोजेक्ट जैसे व्यापक पुस्तकालय के लिए केवल प्रत्येक प्रमेय की अलग से जांच करना ही काफी नहीं होता है, क्योंकि इसके सभी प्रमेय और परिभाषाएं एक-दूसरे से गहराई से जुड़ी हुई हैं और हर नया भाग अपने से पहले के हिस्सों पर आधारित होता है।

 

## आपसी जुड़ाव और विशाल जटिलता

इस गहरी परस्पर जुड़ी हुई संरचना के कारण शुरुआत में कंपनी को यह संदेह था कि यह परियोजना सफल हो पाएगी या नहीं। तकनीकी टीम को लगभग 1.6 करोड़ लाइनों के लीन कोड में इन सभी आपसी संबंधों और कड़ियों को पूरी तरह सुरक्षित रखना था। ऐक्सिओम की सीईओ करीना हाँग ने इस बारे में बात करते हुए कहा कि जीवन में विशाल और नाज़ुक चीजें एक साथ आसानी से नहीं चलती हैं, और स्टैक्स गणित के उन परिणामों का संग्रह है जो इस पूरे विषय की मूल नींव बनाते हैं।

मार्च 2025 में इस स्टार्टअप की स्थापना करने वाली 25 वर्षीय सीईओ करीना हाँग ने स्टैनफोर्ड विश्वविद्यालय के गणित पीएचडी कार्यक्रम को बीच में ही छोड़ दिया था। इसी साल मार्च में कंपनी ने मेनलो वेंचर्स के नेतृत्व में 20 करोड़ डॉलर का सीरीज ए फंड जुटाया था। करीना हाँग के अनुसार, शुरुआत में टीम को यह भी पूरी तरह स्पष्ट नहीं था कि वाइब कोडिंग इस विशाल परियोजना की सुंदरता और शुद्धता को सहेज पाएगी या नहीं।

 

## समानांतर एजेंट और इन-हाउस मॉडल

इस चुनौती से पार पाने के लिए तकनीकी टीम ने अपने एआई एजेंटों को एक लचीली संरचना सौंपी और उन्हें समानांतर रूप से काम करने की छूट दी। ऐक्सिओम के तकनीकी स्टाफ के सदस्य अश्निन स्वामीनाथन ने बताया कि स्टैक्स के मामले में उन्होंने एक पदानुक्रम जरूर तय किया था, लेकिन वह ऐसा सख्त ढांचा नहीं था जो हर एक एजेंट के हर कदम को निर्देशित कर रहा हो, बल्कि एजेंट खुद अपने लिए कार्य ढूंढ रहे थे और ऐसे क्षेत्रों की पहचान कर रहे थे जिन पर वे एक साथ मिलकर काम कर सकें।

इसके अलावा कंपनी ने अपने खुद के ऐसे मॉडल भी प्रशिक्षित किए जो गणित में माहिर हों, जिसे करीना हाँग ने एक ऐसा दृष्टिकोण बताया जिसे अन्य सत्यापन स्टार्टअप्स ने नहीं अपनाया है। शुरुआत में टीम ने एजेंटों को इंसानों जैसी समझ और परख सिखाने के लिए अपने ही एक लीन विशेषज्ञ की मदद ली, लेकिन समय के साथ एजेंटों ने खुद ही इस खूबी को आत्मसात कर लिया।

 

## बीजगणितीय ज्यामिति का नया द्वार

इस पूरी सफलता ने औपचारिक गणित के क्षेत्र में मौजूद एक बहुत बड़े खालीपन को भर दिया है। अश्निन स्वामीनाथन ने रेखांकित किया कि जब गणित के औपचारिक रूप से सत्यापित क्षेत्र को देखा जाता था, तो वहां एक बहुत बड़ा काला क्षेत्र नजर आता था जो बीजगणितीय ज्यामिति को कवर करता था। अब तक जो शोधकर्ता लीन की मदद से बीजगणितीय ज्यामिति के नए कार्यों की जांच करना चाहते थे, उनके पास आगे बढ़ने के लिए बहुत सीमित आधार था, लेकिन इस प्रोजेक्ट के बाद अब उनके पास एक ठोस शुरुआत मौजूद है।

ऐक्सिओम का तर्क है कि प्रत्येक सत्यापित परिणाम एक मजबूत ईंट की तरह काम करता है, जिससे भविष्य के प्रमाण शून्य से शुरुआत करने के बजाए पहले से जांची गई गणितीय प्रणालियों पर टिक सकते हैं। यूसीएलए के गणितज्ञ और फील्ड्स मेडल विजेता टेरेंस ताओ ने इस सामान्य बात को स्पष्ट करते हुए कहा है कि जितने अधिक औपचारिक प्रमाण आपके पास होंगे, उतने ही अधिक नए औपचारिक प्रमाण आप तैयार कर पाएंगे।

 

## भविष्य की सॉफ्टवेयर सुरक्षा और खुली चुनौती

केवल गणितज्ञ ही इस पहल के एकमात्र लक्षित उपयोगकर्ता नहीं हैं। डेवलपर्स लंबे समय से इस बात को लेकर संघर्ष करते आए हैं कि उनका लिखा हुआ कोड किसी भी तरह की बग या सुरक्षा कमियों से पूरी तरह मुक्त हो। जैसे-जैसे एआई एजेंट दुनिया भर का अधिक कोड लिखना शुरू कर रहे हैं, यह समस्या और भी गंभीर होती जा रही है। ऐक्सिओम का यह मानना है कि भविष्य के सॉफ्टवेयर को भी ऐसे ही सत्यापित आधारों की आवश्यकता होगी जिस तरह से स्टैक्स अब तैयार हो चुका है।

अश्निन स्वामीनाथन ने कहा कि उनका विश्वास है कि गणित वह क्षेत्र है जहां से इन चीजों का निर्माण शुरू किया जाना चाहिए और यह एक ऐसी कौशल है जिसे अन्य क्षेत्रों में भी स्थानांतरित किया जा सकता है। करीना हाँग इस दृष्टिकोण को लेकर इतनी आश्वस्त हैं कि उन्होंने खुले तौर पर अन्य सभी कोडिंग कंपनियों को इस पैमाने पर औपचारिक सत्यापन के क्षेत्र में काम करने की चुनौती दी है।

## इसका आप पर असर
यह तकनीकी विकास सॉफ्टवेयर इंजीनियरिंग और गणितीय अनुसंधान के क्षेत्र में काम करने वाले पेशेवरों और तकनीकी स्टार्टअप्स के लिए दूरगामी परिणाम लेकर आया है।

- **सॉफ्टवेयर विकास:** भविष्य में एआई द्वारा लिखे जाने वाले कोड की गुणवत्ता और सुरक्षा में उल्लेखनीय सुधार होगा जिससे बग और कमियों की गुंजाइश कम हो जाएगी।
- **शोध कार्य:** गणितज्ञों और शोधकर्ताओं को बीजगणितीय ज्यामिति जैसे जटिल क्षेत्रों में काम करने के लिए एक मजबूत और सत्यापित डिजिटल आधार मिल सकेगा।
- **स्टार्टअप पारिस्थितिकी तंत्र:** औपचारिक सत्यापन के क्षेत्र में काम कर रही कंपनियों के लिए निवेश और विकास के नए रास्ते खुलेंगे।
- **तकनीकी मानक:** एआई जनित सामग्री और कोड में गुणवत्ता बनाए रखने के लिए नए उद्योग मानक स्थापित होंगे।

## ऐसा क्यों हुआ
गणित के क्षेत्र में एआई की बढ़ती भूमिका और लगातार सामने आ रही अशुद्धियों को रोकने के लिए इस औपचारिक सत्यापन की आवश्यकता महसूस की गई।

- **बढ़ती अशुद्धियां:** एआई मॉडल द्वारा गणितीय समस्याओं के समाधान के नाम पर बड़ी संख्या में अप्रमाणित पांडुलिपियां जारी किए जाने से त्रुटियों का जोखिम बढ़ गया था।
- **जटिल अंतर्संबंध:** स्टैक्स प्रोजेक्ट जैसी विशाल गणितीय प्रणालियों में लाखों परिभाषाएं और प्रमेय एक-दूसरे से गहराई से जुड़े होने के कारण उन्हें हाथ से जांचना असंभव था।
- **एआई एजेंटों की क्षमता:** समानांतर रूप से काम करने वाले स्वायत्त एआई एजेंटों के विकास ने विशाल पुस्तकालयों को कंप्यूटर-जांची गई लाइनों में बदलने का मार्ग प्रशस्त किया।

## सवाल-जवाब

### 1. ऐक्सिओम मैथ ने हाल ही में किस बड़ी परियोजना को सत्यापित किया है?
ऐक्सिओम मैथ ने स्टैक्स प्रोजेक्ट को औपचारिक रूप से सत्यापित किया है जो इंसानों द्वारा लिखे गए गणित के सबसे बड़े संग्रहों में से एक है।

### 2. स्टैक्स प्रोजेक्ट के अनुवाद में कितने पृष्ठों और कोड लाइनों का उपयोग हुआ है?
इस परियोजना के लगभग 7,654 पृष्ठों को कंप्यूटर द्वारा जांची गई लगभग 1.6 करोड़ लाइनों के लीन कोड में बदला गया है।

### 3. ऐक्सिओम मैथ की स्थापना किसने और कब की थी?
इस स्टार्टअप की स्थापना मार्च 2025 में 25 वर्षीय करीना हाँग ने की थी जिन्होंने स्टैनफोर्ड विश्वविद्यालय की पीएचडी बीच में छोड़ दी थी।

### 4. इस परियोजना के लिए किस प्रोग्रामिंग भाषा का उपयोग किया गया है?
गणितीय प्रमाणों को कोड के रूप में लिखने के लिए लीन नामक प्रोग्रामिंग भाषा का उपयोग किया गया है।

### 5. कंपनी ने मार्च में कितनी फंडिंग जुटाई थी?
ऐक्सिओम मैथ ने मार्च में मेनलो वेंचर्स के नेतृत्व में 20 करोड़ डॉलर का सीरीज ए फंड जुटाया था।

## प्रेरणा और सबक
ऐक्सिओम मैथ की यह यात्रा स्टार्टअप संस्थापकों और तकनीकी शोधकर्ताओं के लिए महत्वपूर्ण प्रेरणा और सबक देती है।

- **कठिन चुनौतियों का चयन:** सबसे जटिल और उपेक्षित क्षेत्रों जैसे कि गणितीय औपचारिकीकरण को चुनकर एक मजबूत आधार तैयार किया जा सकता है।
- **स्वायत्त सहयोग:** एआई एजेंटों को पूरी तरह से कठोर निर्देश देने के बजाय उन्हें लचीलापन और समानांतर कार्य करने की स्वतंत्रता देना अधिक प्रभावी होता है।
- **दीर्घकालिक दृष्टिकोण:** तात्कालिक शॉर्टकट अपनाने के बजाय गुणवत्ता और पुनर्चक्रण योग्य ज्ञान पुस्तकालयों का निर्माण करना भविष्य की सफलता की कुंजी है।

---
_TrendKia — Har trend, sabse pehle.. Machine-readable view; canonical HTML at the URL above._