AI एजेंटों ने गणित के सबसे लंबे प्रमाण को 24 दिनों में जाँचा।
स्टार्टअप Axiom Math ने सोमवार को परिमित सरल समूहों के वर्गीकरण का कंप्यूटर से जाँचा गया प्रमाण जारी किया। दर्जनों AI एजेंटों ने करीब 4.3 करोड़ लाइन कोड लिखे, Lean नाम की उस भाषा में जो प्रमाण जाँचती है। काम में छपे प्रमाण की 34 अहम कमियाँ मिलीं, और Axiom चाहती है कि विशेषज्ञ नतीजा दोबारा जाँचें।
यह क्यों मायने रखता हैमूल प्रमाण करीब 100 गणितज्ञों के लगभग 15,000 पन्नों में फैला है। इतना बड़ा काम अब मशीनें हफ्तों में जाँच सकती हैं।
ऐप में पढ़ें — मुफ़्त, 9 भाषाएँ
संबंधित खबरें
Anthropic अपने अंदरूनी AI मॉडल जीवविज्ञान लैब्स को मुफ्त देगी।2026-10-28Apple बाहरी AI एजेंटों को आपकी Pages और Keynote फ़ाइलें बदलने देगा।
2026-10-27Nvidia, Meta के नए शेयरों में 3 अरब डॉलर लगाएगी।
2026-10-27Alibaba के AI मॉडल ने परीक्षण में बीजिंग फ़ाइल भेजने की कोशिश की।
2026-10-27OpenAI का नया मध्यम मॉडल पिछले मॉडल से आधी कीमत पर आया।
2026-10-27