OpenAI ने सोमवार को खुलासा किया कि उसके सामान्य-उद्देश्यीय तर्क मॉडल ने प्लानर यूनिट डिस्टेंस समस्या को हल कर दिया है, जो 1946 में गणितज्ञ पॉल एर्डोस द्वारा प्रस्तुत एक खुला प्रश्न है। यह उपलब्धि पहली बार है जब किसी AI सिस्टम ने स्वायत्त रूप से गणित के किसी क्षेत्र की एक प्रमुख खुली समस्या को हल किया है।
AI ने क्या खोजा
लगभग 80 वर्षों तक, गणितज्ञों का मानना था कि Erdos समस्या के इष्टतम समाधान मोटे तौर पर वर्गाकार ग्रिड के समान होते हैं। OpenAI मॉडल ने उस धारणा को गलत साबित कर दिया, जिससे निर्माण का एक बिल्कुल नया परिवार तैयार हुआ जो बेहतर प्रदर्शन देता है। यह प्रमाण एक सामान्य-उद्देश्यीय तर्क मॉडल से आया, न कि विशेष रूप से गणित के लिए बनाए गए सिस्टम से, और इसे लीन सत्यापन भाषा में औपचारिक रूप दिया गया।
विशेषज्ञ सत्यापन
फील्ड्स मेडलिस्ट टेरेंस ताओ ने प्रमाण की समीक्षा की और इसे स्वीकार किया, जिसने गणित समुदाय में इसे विश्वसनीयता प्रदान की। परिणाम को एक नए युग की शुरुआत के रूप में वर्णित किया गया है जहां AI सिस्टम तर्क की लंबी श्रृंखलाओं को एक साथ रख सकते हैं और दूर के क्षेत्रों में विचारों को जोड़ सकते हैं।
गणित से परे निहितार्थ
OpenAI ने कहा कि वही क्षमताएं जिन्होंने इस गणितीय सफलता को संभव बनाया, जल्द ही जीव विज्ञान, भौतिकी, इंजीनियरिंग और चिकित्सा में काम को गति देंगी। कंपनी ने इस बात पर जोर दिया कि मानव निर्णय आवश्यक बना हुआ है – AI खोज सकता है, सुझाव दे सकता है और सत्यापित कर सकता है, लेकिन लोग उन समस्याओं को चुनते हैं जो मायने रखती हैं और परिणामों की व्याख्या करते हैं।