क्लॉड ने 167 साल पुरानी गणित समस्या में प्रगति की: 31 मिलियन टोकन, 60 एजेंट और 41.6% से 67.2% की छलांग

Anthropic के Claude मॉडल ने 167 साल पुरानी गणितीय समस्या को स्थिरता से हटाकर एक महत्वपूर्ण सफलता हासिल की है। 1859 में प्रस्तुत यह समस्या, विश्लेषणात्मक संख्या सिद्धांत पर आधारित है और अभाज्य संख्याओं की प्रकृति से संबंधित है। एक नए प्रशिक्षण पद्धति को लागू करने के बाद Claude का इस समस्या पर प्रदर्शन 41.6% से बढ़कर 67.2% हो गया। मॉडल ने 31 मिलियन टोकन खपत किए, जो लगभग 25.6 मिलियन शब्दों के समान है, और इस दौरान इसने 650 GB डेटा उत्पन्न किया। समस्या से निपटने के लिए, Claude ने 60 विशेष एजेंटों का उपयोग किया, जिनमें से प्रत्येक ने लगभग 2400 पेपरों का विश्लेषण किया, जिसमें arXiv से 54 प्रासंगिक पेपर भी शामिल थे, ताकि इसके तर्क की पुष्टि हो सके। सुदृढीकरण सीखने और लीन (Lean), एक प्रमाण सहायक, के माध्यम से सत्यापन का उपयोग महत्वपूर्ण था। Anthropic इस सफलता का श्रेय बड़े पैमाने पर गणना और औपचारिक सत्यापन के इस संयोजन को देता है, जो AI-सहायता प्राप्त गणितीय खोज में एक नया मील का पत्थर है।