विज्ञान और प्रौद्योगिकी को अपडेट किया गया
Axiom गणित औपचारिक रूप से सत्यापित परियोजना स्टैक: कृत्रिम खुफिया एजेंटों द्वारा नियंत्रित कोड की लगभग 16 मिलियन लाइनें
क्या हुआ
24 Orë का अंश
स्टार्टअप, $ 1.6 बिलियन की कीमत, कंप्यूटर सत्यापित कोड में सबसे बड़ा गणित कोर में से एक का अनुवाद किया है, गणित में algebric ज्यामिति के अंतर को भरने
क्या अभी अनिश्चित है
Mosaic से, किसी प्रकाशक से नहीं
- अभी तक Mosaic पर केवल 24 Orë ने यह खबर दी है, इसलिए तुलना के लिए दूसरी कवरेज नहीं है।
उन्होंने इसे कैसे शीर्षक दिया
-
24 Orë अल्बानिया · प्रकाशक की तारीख
Axiom Math verifikon formalisht projektin Stacks: rreth 16 milionë rreshta kodi të kontrolluar nga agjentët e inteligjencës artificiale
Axiom गणित औपचारिक रूप से सत्यापित परियोजना स्टैक: कृत्रिम खुफिया एजेंटों द्वारा नियंत्रित कोड की लगभग 16 मिलियन लाइनें
एआई अनुवाद · libretranslate / libretranslate-1.9.6
इसमें गलतियाँ हो सकती हैं; जाँचने के लिए मूल लेख खोलें।लेखक: Orë
Mosaic को मिली सबसे पुरानी रिपोर्ट
स्टार्टअप, $ 1.6 बिलियन की कीमत, कंप्यूटर सत्यापित कोड में सबसे बड़ा गणित कोर में से एक का अनुवाद किया है, गणित में algebric ज्यामिति के अंतर को भरने
हम कैसे तय करते हैं
Mosaic से, किसी प्रकाशक से नहीं
लेख का समय प्रकाशक की दी हुई तारीख है, यदि वह उचित हो: वह भविष्य की न हो और Mosaic को लेख मिलने से 180 मिनट से अधिक पहले की न हो। अन्यथा Mosaic ने उसे पहली बार जब देखा, वही समय लिया जाता है। "Mosaic को मिली सबसे पुरानी रिपोर्ट" सबसे पुराने समय वाली रिपोर्ट है; इससे यह साबित नहीं होता कि उसके संस्थान ने सबसे पहले प्रकाशित किया।
लेख पर "दूसरे समाचार संस्थान का पाठ दोहराता है" का लेबल तब लगता है जब उसका साफ़ किया गया पाठ इसी खबर के दूसरे लेख के शब्दशः समान या लगभग समान हो (दोनों पाठों के SimHash फ़िंगरप्रिंट में 64 में से अधिकतम 12 बिट अलग हों)। दोनों पाठों में कम से कम 30 शब्द हों और लेख एक-दूसरे से 48 घंटे के भीतर के हों। इससे यह नहीं पता चलता कि किसने किससे लिया: कई संस्थान किसी समाचार एजेंसी का पाठ या प्रेस विज्ञप्ति प्रकाशित कर सकते हैं।
यह लेबल तब भी लगता है जब दोनों पाठों के तीन-शब्द क्रमों में से कम से कम 50 % साझा हों (MinHash से अनुमानित), जैसे अलग शुरुआत, अंत या पृष्ठ तत्वों वाली प्रति में।
जब हर पात्र रिपोर्ट के पास वर्तमान अंक हों, तो कहानी सबसे अधिक वर्तमान अंकों वाली पात्र रिपोर्ट से शुरू होती है। अन्यथा वह Mosaic को मिली सबसे पुरानी रिपोर्ट से शुरू होती है, जो उसकी गुणवत्ता के बारे में कुछ नहीं कहती। दूसरे समाचार संस्थान का पाठ दोहराने वाली रिपोर्टों और सशुल्क या संगठनों द्वारा जारी लेखों की तुलना नहीं की जाती।
क्या इनमें से कोई लेबल गलत लगता है? उसके पास "आपत्ति दर्ज करें" चुनें: कर्मचारी हर आपत्ति की जाँच करते हैं।
वोट बताता है कि खबर को अधिक या कम प्रमुखता मिलनी चाहिए; यह उसकी सत्यता नहीं बताता। खबर झूठी या भ्रामक हो, तो उसे रिपोर्ट करें। अभी वोट एकत्र किए जाते हैं और खबरों का क्रम नहीं बदलते। वोटों का उपयोग कैसे होता है · इसे झूठा या भ्रामक होने के रूप में रिपोर्ट करें
आगे के घटनाक्रम देखें
इस खबर को अलग से फ़ॉलो नहीं किया जा सकता। इसके विषयों और श्रेणी को फ़ॉलो करें; उनसे जुड़ी नई खबरें फ़ॉलो की गई खबरों में दिखेंगी।
पाठकों की टिप्पणियाँ
ये पाठकों के अपने शब्द हैं, प्रकाशकों के नहीं और Mosaic के भी नहीं। मॉडरेटर इन्हें पढ़ते हैं; नियम तोड़ने वाली टिप्पणी छिपा दी जाती है या हटा दी जाती है।
अभी कोई टिप्पणी नहीं। कुछ उपयोगी कहने वाले पहले व्यक्ति बनें।