AI मॉडल फेबल ने सिर्फ एक दिन में सुलझाया 87 साल पुराना गणित का सवाल

GS3अर्थव्यवस्था · विज्ञान-तकनीक · पर्यावरण · सुरक्षा· IT, AI, सेमीकंडक्टर एवं कंप्यूटिंग· प्रीलिम्स· 22 जुलाई 2026

चर्चा में क्यों

हार्वर्ड के गणितज्ञ लेवेंट अल्पोगे ने एंथ्रोपिक (Anthropic) के AI मॉडल 'Fable' का उपयोग करते हुए मात्र एक दिन में 87 वर्ष पुराने जैकोबियन अनुमान (Jacobian conjecture) के लिए एक संभावित प्रति-उदाहरण (counterexample) की पहचान की।

पृष्ठभूमि

जैकबियन अनुमान बीजगणितीय ज्यामिति (algebraic geometry) की एक प्रसिद्ध समस्या है। AI-सहायता प्राप्त इस खोज में 216-अक्षरों का एक प्रति-उदाहरण (counterexample) शामिल है, जिसका वर्तमान में SymPy और Lean उपकरणों का उपयोग करके औपचारिक सत्यापन किया जा रहा है।

प्रीलिम्स के लिए तथ्य

विज्ञान-तकनीकFable: Anthropic द्वारा विकसित एक AI मॉडल जिसका उपयोग जटिल गणितीय तर्क (mathematical reasoning) के लिए किया जाता है।
विज्ञान-तकनीकSymPy: गणितीय प्रमाणों के सत्यापन में उपयोग की जाने वाली प्रतीकात्मक गणित (symbolic mathematics) के लिए एक Python लाइब्रेरी।
विज्ञान-तकनीकLean: एक functional programming language और theorem prover है जिसका उपयोग गणितीय प्रमाणों के formal verification के लिए किया जाता है।
तथ्यJacobian Conjecture: बीजगणितीय ज्यामिति (algebraic geometry) की एक गणितीय समस्या जिसे मध्य 20वीं शताब्दी में पहली बार प्रस्तावित किया गया था।

मेन्स के लिए

प्रश्न: उन्नत वैज्ञानिक अनुसंधान और गणितीय खोजों में लार्ज लैंग्वेज मॉडल्स (LLMs) और स्वचालित प्रमेय प्रमाणकों (automated theorem provers) के एकीकरण के निहितार्थों पर चर्चा कीजिए।

पूरी खबर पढ़ें →इस नोट में गलती बताएँ नोट्स कैसे बनते हैं स्रोत: टाइम्स ऑफ इंडिया ↗

विज्ञान एवं प्रौद्योगिकी पर और नोट्स

सभी विज्ञान एवं प्रौद्योगिकी करेंट अफेयर्स →

कोई गलती या कोई कमी?

किसी नोट में गलती दिखे, या तैयारी के लिए कोई टॉपिक, फॉर्मेट या पीडीएफ चाहिए, तो हमें लिखें। हम हर मेल पढ़ते हैं और गलतियाँ जल्दी ठीक करते हैं।

गलती बताएँ →कुछ और चाहिए? बताएँ →[email protected]

यह नोट सत्यधीश के समाचार फ़ीड से स्वचालित रूप से तैयार किया गया है और यूपीएससी सीएसई पाठ्यक्रम से जुड़ा है। उत्तर में उपयोग करने से पहले तथ्यों का मूल रिपोर्ट या पीआईबी से मिलान करें।