एआई-जनित प्रमाणों की झड़ी ने गणितज्ञों को विभिन्न भावनात्मक स्थितियों में छोड़ दिया है। कुछ सावधानी से उत्साहित हैं. कुछ लोग एआई कंपनियों के व्यवसाय की आलोचना कर रहे हैं...

20 जुलाई को, गणितज्ञ लेवेंट अल्पोगे, जो कृत्रिम बुद्धिमत्ता कंपनी (एआई) एंथ्रोपिक में काम करते हैं, ने एक्स पर एक आकस्मिक ट्वीट किया। उन्होंने दावा किया कि कंपनी के उन्नत बड़े भाषा मॉडल क्लाउड फैबल 5 ने जैकोबियन अनुमान नामक बीजीय ज्यामिति में 87 साल पुरानी खुली समस्या का प्रति-उदाहरण तैयार किया था। फीफा विश्व कप फाइनल के दौरान इस पर काम करके, एआई ने उस अनुमान को खारिज करने में मदद की थी जिस पर कई गणितज्ञ दशकों से काम कर रहे थे - और दुनिया को एक छोटी सोशल मीडिया पोस्ट में इसके बारे में खबर मिली

यह एआई की पहली बड़ी गणितीय विजय नहीं थी। 20 मई को, ओपनएआई ने एक्स पर ट्वीट्स की एक श्रृंखला जारी की, जिसमें दावा किया गया कि इसके आंतरिक, सामान्य तर्क मॉडल ने प्लानर यूनिट दूरी समस्या का समाधान ढूंढ लिया है, जो 1946 में हंगरी के गणितज्ञ पॉल एर्डोस द्वारा प्रस्तावित एक खुली समस्या थी। समाधान का सत्यापन करने वाले कई विशेषज्ञ गणितज्ञों ने महसूस किया कि यदि मनुष्यों ने इसे स्वयं हल किया होता, तो परिणाम एक शीर्ष पत्रिका में होता।

बाढ़ के द्वार खोल दिये गये। 1 अगस्त को, ओपनएआई ने घोषणा की कि उसके नवीनतम मॉडल 'एस्ट्रा' ने दस और खुली गणित समस्याओं को हल किया है, जिनमें से तीन एर्दो की समस्याओं की प्रसिद्ध सूची से थीं जिनमें इकाई दूरी अनुमान शामिल था। यूनिट दूरी की समस्या से निपटने से पहले भी AI अन्य कम रोमांचक एर्दो समस्याओं और अंतर्राष्ट्रीय गणित ओलंपियाड प्रश्नों को हल कर रहा था - लेकिन इस नवीनतम सेट पर कई लोगों ने ध्यान दिया और ध्यान दिया। जैसा कि कोलंबिया विश्वविद्यालय के सैद्धांतिक कंप्यूटर वैज्ञानिक हेनरी यूएन ने ट्वीट किया, "मैंने इन समस्याओं के बारे में सिर्फ अपने दोस्तों या सेमिनारों से नहीं सुना। मैं अपनी हड्डियों में उनके महत्व को महसूस करता हूं; मैं इन सवालों के जवाबों की गहराई से परवाह करता हूं।"

प्रकाशित - 17 सितंबर, 2026 09:00 पूर्वाह्न IST