हम एक आंतरिक फ्रंटियर मॉडल द्वारा उत्पादित नए गणितीय परिणामों की एक विस्तृत श्रृंखला जारी कर रहे हैं। हम Institute for Advanced Study में स्वतंत्र सलाहकार समूह ऑन मैथमेटिक्स एंड आर्टिफिशियल इंटेलिजेंस के साथ परामर्श कर रहे हैं ताकि सर्वोत्तम प्रथाओं को विकसित किया जा सके। इस रिलीज के लिए, हम परिणामों को Git Hub रिपॉजिटरी में प्रकाशित कर रहे हैं, जिसमें पेपर संशोधन और उद्धरणों के लिए प्रोटोकॉल शामिल हैं।
हम Lean में कई प्रमाणों की औपचारिकताएं साझा कर रहे हैं, जो एक प्रोग्रामिंग भाषा है जो गणितीय प्रमाणों को कंप्यूटर द्वारा जांचने की अनुमति देती है। हम मॉडल के तर्क के 10 सारांश और खर्च किए गए कंप्यूट का अनुमान भी प्रकाशित कर रहे हैं। औसत परिणाम ने लगभग तीन घंटे के Chat GPT Pro सोच के बराबर कंप्यूट का उपयोग किया।
हम चाहते हैं कि यह प्रगति मानव ज्ञान की सीमा को आगे बढ़ाए। हम AI द्वारा उत्पादित प्रमुख परिणामों को समझने के लिए कार्यशालाओं, सम्मेलनों और विशेष कार्यक्रमों की एक श्रृंखला को वित्तपोषित करेंगे। हम इन परिणामों को उत्पन्न करने वाले मॉडल को जिम्मेदारी से जारी करने के लिए काम कर रहे हैं और समुदाय की प्रतिक्रिया पर कार्य करना जारी रखेंगे।
स्रोत: Hacker News · HeadlinesBriefing द्वारा सारांशित