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

DARPA के expMath कार्यक्रम की मदद से गणितज्ञ पोइंकारे अनुमान के हैमिल्टन–पेरेलमान प्रमाण का Lean में औपचारिकीकरण पूरा करते हैं: लगभग दो हफ़्तों में क़रीब 47 लाख पंक्तियाँ कोड

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

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

¶ c4kpn92nr

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

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