एंथ्रोपिक का अप्रकाशित मॉडल प्रमुख गणितीय समस्या में प्रगति

अभाज्य संख्याओं के वितरण से जुड़ी गणित की सबसे प्रसिद्ध अनसुलझी समस्याओं में से एक — रीमान परिकल्पना — डेढ़ सौ से अधिक वर्षों से अनसुलझी बनी हुई है, और इसके प्रमाण पर 10 लाख डॉलर का पुरस्कार रखा गया है। Anthropic ने ऐलान किया है कि उसके एक अभी तक जारी न किए गए मॉडल ने इस दिशा में उल्लेखनीय प्रगति हासिल की है और उन हलों की निचली सीमा को काफी ऊंचा उठा दिया है, जिनके लिए परिकल्पना के सही होने की पुष्टि हो चुकी है। गणित की सीमित पृष्ठभूमि रखने वाले एक कर्मचारी ने मॉडल को यह समस्या आजमाने का सुझाव दिया और फिर उसे अगले डेढ़ दिन तक इस काम का समन्वय करने के लिए छोड़ दिया। इस अवधि में मॉडल ने 650 समाधान-पथ आजमाए, 60 उप-एजेंटों का समन्वय किया और 31 मिलियन (करीब 3.1 करोड़) आउटपुट टोकन की खपत की। उप-एजेंटों में से 2 ने मुख्य गणितीय समाधान विकसित किए, 13 ने उन एजेंटों के लिए नए वेरिएंट तैयार किए, 30 प्रयास करते हुए भी नए विचार प्रस्तुत नहीं कर पाए, 13 ने वैलिडेटर की भूमिका निभाई और 2 ने शुरुआती शोधपत्र लिखने में मदद की। इस नतीजे को दो स्टाफ गणितज्ञों ने सत्यापित किया और इसे Lean प्रूफ असिस्टेंट में औपचारिक रूप दिया गया। हाल के वर्षों में AI मॉडलों ने पाल एर्डेश की कई समस्याएं सुलझाई हैं — OpenAI के Astra मॉडल ने दस समस्याएं हल कीं, जबकि Anthropic के एक अन्य मॉडल ने लंबे समय से लंबित जैकेबियन परिकल्पना को गलत साबित किया। इन उपलब्धियों ने गणित समुदाय में रचनाकर्तृत्व और सही होने की जिम्मेदारी को लेकर उत्साह और चिंता दोनों पैदा की हैं; कुछ लोगों का तर्क है कि प्रमेयों को किसी खास शोधकर्ता से जोड़ना जरूरी नहीं है।