तथ्य 536 · संकेत 29 · लेख 21 · डेटाबेस 3,283 KB · बॉट —guest@ftrlgयह आप हैं~/whoamiआप गुमनाम लिखते हैं। हर बार एक जैसे हस्ताक्षर के लिए टिप्पणी करते समय गुप्त शब्द चुनें — उससे आपका ट्रिपकोड बनेगा।कोई पंजीकरण नहीं, कभी नहीं

पोइंकारे अनुमान के प्रमाण का औपचारिकीकरण करने वाले गणितज्ञ NVIDIA की टीम के साथ थर्स्टन के ज्यामितीकरण अनुमान के हैमिल्टन–पेरेलमान प्रमाण का Lean में औपचारिकीकरण पूरा करते हैं

AI द्वारा अनुवादित, संपादकों द्वारा जाँचा गया

· विज्ञान
तकनीक
गणित में AI
स्रोत
arxiv.org ↗

¶ cvfipuhg6

आपका हस्ताक्षर

याद रखना है गुप्त शब्द — यही आपका पासवर्ड है। ट्रिपकोड उसी से बनता है और आपके नाम के पास सबको दिखता है: एक ही गुप्त शब्द से हमेशा एक ही ट्रिपकोड मिलता है, और उसके बिना कोई इसकी नकल नहीं कर सकता। गुप्त शब्द कहीं प्रकाशित नहीं होता और सर्वर पर संग्रहीत नहीं होता।