विज्ञान के पीछे का विज्ञान और एआई की भूमिका

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

औपचारिक सत्यापन और एक डिजिटल गणित पुस्तकालय का सपना 🤖

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

पेंसिल और कागज को अलविदा, होमवर्क करेक्टर रोबोट को नमस्ते 😅

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