डाइजेस्ट · पिछले 24 घंटे

1. चीनी शोधकर्ताओं की सफलता: ओपन-सोर्स AI एजेंट 'Hyra' ने उस गणित की समस्या को हल किया जिसने AlphaEvolve, GPT और Claude को चुनौती दी थी
   arXiv पर प्रकाशित एक नए प्रीप्रिंट में योगात्मक कॉम्बिनेटरिक्स की एक लंबे समय से अनसुलझी समस्या का समाधान किया गया है, जिसमें मुख्य निर्माण Hyra द्वारा प्रस्तावित किया गया है, जो Tencent का एक ओपन-सोर्स AI एजेंट है जो Hy3 मॉडल पर आधारित है। Google DeepMind के AlphaEvolve, GPT और Claude के प्रयासों के बावजूद, कोई भी सफल नहीं हुआ, और Hyra के समाधान को Lean प्रमाण सहायक में औपचारिक रूप से सत्यापित किया गया। यह उपलब्धि ओपन-सोर्स मॉडल द्वारा पहले बड़े AI गणित परिणाम के रूप में एक मील का पत्थर है, और गणितज्ञ थॉमस ब्लूम ने परिणाम का समर्थन किया है, यहाँ तक कि 'Hyra' को सह-लेखक के रूप में सूचीबद्ध किया है।