चीनी शोधकर्ताओं की सफलता: ओपन-सोर्स AI एजेंट 'Hyra' ने उस गणित की समस्या को हल किया जिसने AlphaEvolve, GPT और Claude को चुनौती दी थी

arXiv पर 'Settling the Optimal Exponent Relating Sumsets and Difference Sets' शीर्षक से प्रकाशित एक नए प्रीप्रिंट में, हाओवेई लिन (Tencent Hunyuan) और शांडा ली (Carnegie Mellon University) ने योगात्मक कॉम्बिनेटरिक्स के एक केंद्रीय प्रश्न को हल किया है, जिसने प्रमुख AI प्रणालियों, जिनमें Google DeepMind का AlphaEvolve, GPT, और Claude शामिल हैं, को चुनौती दी थी। समस्या समसेट और डिफरेंस सेट की वृद्धि के अनुपात को सीमित करने से संबंधित है, जहां पिछले AI-संचालित परिणाम केवल लगभग 1.14 के घातांक प्राप्त कर पाए थे, लेकिन वास्तविक ऊपरी सीमा बिल्कुल 2 साबित हुई है। यह सफलता तब मिली जब शोधकर्ताओं ने AI एजेंट Hyra को केवल स्पष्ट सूचियों के बजाय प्राकृतिक भाषा में निर्माण और प्रमाण की रूपरेखा प्रस्तावित करने की अनुमति दी, जिससे एक नया निर्माण हुआ जिसे बाद में मैन्युअल रूप से और Lean 4 औपचारिक प्रमाण के माध्यम से सत्यापित किया गया। Hyra, Tencent का एक ओपन-सोर्स शोध एजेंट है जो Hy3 मॉडल (Apache 2.0 के तहत जारी एक 295B MoE मॉडल) पर आधारित है, ने लगभग एक दिन तक GPT-5.6 Sol का उपयोग न्यायाधीश के रूप में खोज का मार्गदर्शन करने के लिए किया, लेकिन अंतिम निर्माण की स्वतंत्र रूप से मनुष्यों द्वारा जांच की गई। गणितज्ञ थॉमस ब्लूम, जो AI दावों की कठोर जांच के लिए जाने जाते हैं, ने परिणाम को सत्यापित किया और प्रमेय को सुधारते हुए लेखकों को 'Lin, Li, and Hyra' के रूप में सूचीबद्ध किया, जिससे AI को सह-लेखक के रूप में मान्यता मिली। हालांकि प्रीप्रिंट अभी तक सहकर्मी-समीक्षित नहीं है, लेकिन Lean में मशीन-जांचे गए प्रमाण और स्वतंत्र मानव सत्यापन का संयोजन इसे गणित में एक दुर्लभ और विश्वसनीय AI योगदान बनाता है, विशेष रूप से यह एक ओपन-सोर्स मॉडल से आया है, जो पिछली बंद-मॉडल उपलब्धियों के विपरीत है।