AI ने स्वर्ण पदक जीता जिस दिन - Gemini Deep Think और गणित का भविष्य

1. पृष्ठभूमि - "AI बनाम गणित ओलंपियाड" का मंच

अंतर्राष्ट्रीय गणित ओलंपियाड (IMO) 1959 में अपनी स्थापना के बाद से मानवता की सर्वोच्च बौद्धिक प्रतियोगिता के रूप में जाना जाता है। यह एक कठोर प्रतियोगिता है जिसमें 4.5 घंटे में 6 प्रश्न हल करने होते हैं, और केवल शीर्ष 8% ही स्वर्ण पदक तक पहुंच पाते हैं। DeepMind के बड़े भाषा मॉडल "Gemini Deep Think (आगे GDT)" ने इसमें भाग लिया और 35 अंक (पूर्णांक 42 अंक) प्राप्त करके आधिकारिक रूप से स्वर्ण पदक मान्यता प्राप्त की।36Kr

2. क्या है "आधिकारिक"

पिछले साल तक AlphaProof/AlphaGeometry ने प्रमाणों को "Lean" जैसी औपचारिक भाषाओं में परिवर्तित करके अंक प्राप्त किए थे, लेकिन GDT ने प्रश्नों को सीधे अंग्रेजी में पढ़कर प्राकृतिक भाषा में प्रमाण उत्पन्न किया। इस बात को "आधिकारिक मान्यता" का आधार माना गया कि मानवों के समान रूब्रिक के साथ जजों ने अंक दिए।36Kr

3. Deep Think मोड और समानांतर तर्क

GDT में "Deep Think" नामक एक विस्तारित तर्क मोड है, जो कई विचार पथों को समानांतर रूप से विकसित और एकीकृत करके उत्तर की सटीकता और गति को संतुलित करता है।

• समानांतर तर्क: विभिन्न परिकल्पनाओं को एक साथ उत्पन्न करना और अभिसरण निर्णय एल्गोरिदम के साथ चयन करना

• प्रबलित शिक्षण: पिछले IMO उत्तर कॉर्पस के साथ आत्म-सुधार

• समय प्रबंधन: 4.5 घंटे की सीमा के भीतर संसाधनों का गतिशील आवंटन

इसका परिणाम यह हुआ कि 5 प्रश्नों को पूर्ण रूप से हल करके 35 अंक प्राप्त किए।36Kr

4. प्रश्न-विशिष्ट हाइलाइट्स

(※P6 का प्रयास नहीं किया)

5. सोशल मीडिया की प्रतिक्रिया और संदेह

• सुंदर पिचाई (Google CEO)

  "सिर्फ एक साल में चांदी से सोने तक - आश्चर्यजनक प्रगति!"X (पूर्व में ट्विटर)

• Google DeepMind आधिकारिक

  "पहला AI जिसने IMO स्वर्ण पदक मानक हासिल किया, 5/6 समस्याओं को हल किया।"X (पूर्व में ट्विटर)

• Hacker News / Reddit पर "प्राकृतिक भाषा में पूर्ण प्रमाण चौंकाने वाला है" और "P3 इस वर्ष आसान था" पर चर्चा गर्म रही।techmeme.com

• एलोन मस्क ने "बधाई" के साथ संक्षेप में जवाब दिया, लेकिन "AI के मानव कार्यों को छीनने की समय सारणी फिर से आगे बढ़ गई है" की व्यंग्यात्मक टिप्पणी भी की।The Times of India

दूसरी ओर, OpenAI ने अपने GPT-Grok मॉडल को भी अनौपचारिक रूप से स्वर्ण पदक स्तर का दावा किया है, और अंकन विधि की पारदर्शिता पर बहस जारी है।

6. इसका महत्व क्यों है

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

2. AI के रूप में उपकरण
   इस उपलब्धि से यह संभावना बनती है कि यह "मानव गणितज्ञों के लिए सहायक उपकरण" बन सकता है। प्रमाण विचार उत्पन्न करना, त्रुटि पहचान, प्रशिक्षण समस्या निर्माण जैसे कई अनुप्रयोग हैं।

3. शैक्षिक असमानता का कम होना
   यदि IMO स्तर की समस्या समझ को समर्थन देने वाले मुफ्त/कम लागत वाले उपकरण उपलब्ध हो जाते हैं, तो यह गणित शिक्षा की क्षेत्रीय असमानता को सुधार सकता है।

7. शेष चुनौतियाँ

• सत्यापन लागत: प्राकृतिक भाषा प्रमाण में त्रुटि सुधार कठिन है। औपचारिकता (Lean आदि) के साथ पुल आवश्यक है।

• डेटा लीक संदेह: पिछले प्रश्नों और उत्तर उदाहरणों के अति-शिक्षण से कैसे बचें।

• "छोटे नोट्स लाने" विवाद: बड़े पैमाने पर संदर्भ इनपुट निष्पक्षता को नुकसान पहुंचाने की आलोचना भी है।

8. भविष्य की योजना

DeepMind ने शोधकर्ताओं के लिए GDT को उपलब्ध कराने और अगले Gemini Ultra में तर्क मॉड्यूल को एकीकृत करने की घोषणा की है। OpenAI, Anthropic आदि भी इसी तरह की चुनौतियों की तैयारी कर रहे हैं, और "AI गणित ओलंपियाड" एक स्थायी प्रतियोगिता बनने की संभावना है।