गणितासमोर 'अपचनाचे' संकट आहे
गणित २१ व्या शतकात प्रवेश करत आहे. शेकडो वर्षांपासून, गणितीय संशोधनाचा वेग मंद होता. एखादा संशोधक एखादा निष्कर्ष शोधतो, त्याचे समवयस्क (peers) पुनरावलोकन करतात आणि शेवटी तो पाठ्यपुस्तकात समाविष्ट केला जातो. ही प्रक्रिया स्थिर आणि अंदाज लावण्यायोग्य आहे.
AI ने सर्व काही बदलून टाकले आहे. ते अत्यंत वेगाने सिद्धता (proofs) तयार करते आणि समस्या सोडवते. यामुळे नवीन सामग्रीचा प्रचंड ढिगारा तयार होत आहे. मानवी पुनरावलोकनकर्ते या वेगाशी जुळवून घेऊ शकत नाहीत. यामुळे टेरेन्स ताओ (Terence Tao) ज्याला 'प्रूफ इंडिजेस्शन' (proof indigestion) म्हणतात, अशी स्थिती निर्माण होत आहे. शैक्षणिक प्रणालीमध्ये वाहतूक कोंडी (traffic jam) होत आहे.
AI हे एका वेगवान कारसारखे आहे. सध्याची शैक्षणिक जर्नल्स म्हणजे घोड्यांच्या गाड्यांसाठी बनवलेल्या अरुंद दगडी वाटांसारखी आहेत. अरुंद वाटेवर अपघात न करता तुम्ही वेगवान कार चालवू शकत नाही. जर रस्ताच खराब असेल, तर कार अपग्रेड करून काहीही उपयोग नाही. आपल्याला AI साठी नवीन रस्ते बांधावे लागतील.
टेरेन्स ताओ SAIR स्पर्धांद्वारे हे नवीन रस्ते तयार करत आहेत. ते मानवांसाठी आणि AI साठी स्वतंत्र मार्ग तयार करत आहेत.
एक स्पर्धा म्हणजे Distillation Challenge. संशोधक २२ दशलक्ष बीजगणित (algebra) समस्यांचा एक प्रचंड डेटासेट वापरतात. मोठे AI मॉडेल्स या सहज सोडवतात पण त्यासाठी खूप खर्च येतो. या आव्हानात सहभागींना लहान आणि स्वस्त मॉडेल्ससाठी एक पानाची 'चीट शीट' (cheat sheet) लिहिण्यास सांगितले जाते. मोठ्या मॉडेल्समधील ज्ञान लहान मॉडेल्समध्ये हस्तांतरित करणे हे याचे उद्दिष्ट आहे. सर्वोत्तम चीट शीटमुळे अचूकता ५०% वरून ८०% पर्यंत वाढली आहे.
दुसरी स्पर्धा म्हणजे Inverse Galois Problem. याला एक 'डिजिटल एग हंट' (digital egg hunt) समजा. येथे १,६०,००० वेगवेगळ्या गणितीय गुणधर्म किंवा रंग आहेत. सहभागी अशा विशिष्ट बहुपदी (polynomials) शोधतात ज्या या रंगांशी जुळतात. जर तुम्हाला असा दुर्मिळ रंग सापडला जो कोणाकडेही नाही, तर तुम्हाला गुण मिळतात. यामुळे गणित हे एक प्रायोगिक विज्ञान बनते.
या स्पर्धा गणितज्ञांची जागा घेत नाहीत. त्या काम करण्याच्या नवीन पद्धती निर्माण करतात. त्या मानवांचा चालण्याचा मार्ग आणि AI चा हायवे (highway) वेगळा करतात.
हे मॉडेल सर्व विज्ञानासाठी लागू होऊ शकते. जर एखाद्या क्षेत्रात मोठे डेटासेट आणि पडताळणीयोग्य कार्ये असतील, तर ते या पद्धतीचा वापर करू शकते. गणित ही केवळ सुरुवात आहे.
पर्यायी लर्निंग कम्युनिटी: https://t.me/GyaanSetuAi