एक्सियम मैथ इंटेलिजेंट एआई की बर्बादी को गणित से दूर रखना चाहता है
techcrunch ·
स्टैनफोर्ड से पढ़ाई छोड़ने वाली कारिना होंग द्वारा स्थापित 1.6 अरब डॉलर की स्टार्टअप कंपनी AxiomMath ने मानव-लेखित गणित के सबसे व्यापक संग्रहों में से एक, 'Stacks Project' को सफलतापूर्वक औपचारिक रूप से सत्यापित (formally verified) किया है। लगभग 7,654 पृष्ठों को Lean कोड के 16 मिलियन लाइनों में अनुवादित करके, कंपनी सॉफ्टवेयर विकास और वैज्ञानिक शोध के लिए एआई एजेंट्स का उपयोग करने के लिए एक विश्वसनीय आधार बनाना चाहती है। यह प्रयास कम गुणवत्ता वाले 'AI slop' (एआई कचरे) से भरे हुए अकादमिक जर्नल्स में असत्यापित दावों की बढ़ती चिंताओं को दूर करता है। प्रमाण सहायकों (proof assistants) के माध्यम से तार्किक सटीकता सुनिश्चित करते हुए, इसमें बीजगणितीय ज्यामिति में जटिल प्रमेयों की आपसी जुड़ी संरचना को बनाए रखा गया है। Axiom ने अपने स्वयं के मॉडलों को प्रशिक्षित किया ताकि वे गणितीय सहीपन के लिए एक सहज समझ विकसित कर सकें, जिससे समानांतर एआई एजेंट परियोजना पर कुशलता से काम कर सकें। परिणामी औपचारिक पुस्तकालय एक पुनः उपयोग योग्य आधार के रूप में कार्य करता है, जो भविष्य के प्रमाणों को शून्य से शुरू करने के बजाय जांचे गए परिणामों पर निर्माण करने की अनुमति देता है। सीईओ होंग अन्य कोडिंग कंपनियों को चुनौती देती हैं कि वे एआई-जनित बुनियादी ढांचे की अखंडता सुनिश्चित करने के लिए इसी तरह के बड़े पैमाने पर औपचारिककरण प्रयासों को अपनाएं।
techcrunch