अनरिलीज़्ड एंथ्रोपिक मॉडल ने रीमैन परिकल्पना पर प्रगति की

Anthropic ने घोषणा की है कि एक अभी तक जारी नहीं हुआ मॉडल रीमैन परिकल्पना पर महत्वपूर्ण प्रगति कर चुका है, जो अभाज्य संख्याओं के बारे में एक प्रसिद्ध अनसुलझी समस्या है जो 150 वर्षों से अधिक समय से खड़ी है। Anthropic के एक कर्मचारी जिनके पास महत्वपूर्ण गणितीय प्रशिक्षण नहीं था, ने मॉडल को एक प्रमाण का प्रयास करने के लिए प्रेरित किया और फिर उसे डेढ़ दिन तक कार्य समन्वयित करने के लिए छोड़ दिया। मॉडल ने 650 विभिन्न विचारों का परीक्षण किया, 60 उप-एजेंटों के बीच समन्वय किया और कुल 31 मिलियन टोकन खर्च किए। दो उप-एजेंटों ने प्रमुख गणितीय विचार विकसित किए, जबकि अन्य ने विचारों में योगदान दिया, नए विकसित करने का प्रयास किया लेकिन असफल रहे, सत्यापनकर्ता के रूप में कार्य किया, या शोधपत्र लिखने में मदद की। Anthropic के दो आंतरिक गणितज्ञों ने निष्कर्षों की पुष्टि की, और प्रमाण को ओपन-सोर्स प्रमाण सहायक Lean का उपयोग करके औपचारिक रूप दिया गया। यह बड़े भाषा मॉडलों द्वारा गणितीय सफलताओं की एक श्रृंखला का हिस्सा है, जिसमें एर्डोस समस्याओं का समाधान और OpenAI के 'Astra' मॉडल के अन्य परिणाम शामिल हैं, साथ ही Anthropic द्वारा जैकोबी अनुमान का खंडन भी शामिल है। बढ़ते परिणामों ने उत्साह और चिंता दोनों को जन्म दिया है, कुछ गणितज्ञ प्रमाणों के लिए श्रेय और जिम्मेदारी के बारे में चिंतित हैं, जबकि फील्ड्स मेडल विजेता टिमोथी गोवर्स सुझाव देते हैं कि परिवर्तन उतना समस्याग्रस्त नहीं हो सकता जितना लगता है।