ओपनएआई का कहना है कि उसने नेवियर-स्टोक्स को हल कर लिया है। फैसला: समीक्षा की आवश्यकता है।

इस वीडियो में क्या शामिल है

• ओपनएआई: नेवियर-स्टोक्स ब्लो-अप, ~10,000 एजेंट, 88 घंटे, 130 बिलियन आउटपुट टोकन, लीन-सत्यापित
• बकमस्टर और अल्पोज: एक ही दृष्टिकोण पर एक साल, एक अफवाह, और दो प्रस्तावों के साथ एक रविवार का कॉल
• टेरेंस ताओ: "किसी समस्या पर काम करने की अफवाह भी इसे समतल करने के लिए एआई-संचालित प्रयासों की एक बड़ी मात्रा को ट्रिगर कर सकती है"
• जेकब कॉक्सॉन ने एंथ्रोपिक से इस्तीफा दिया: दोनों प्रयोगशालाएं "आत्म-सुधार करने वाली सुपरइंटेलिजेंस की ओर दौड़ रही हैं"
• मेटा ने म्यूज को शिप किया: व्हाट्सएप में अपने स्वयं के क्लाउड वीएम पर एक व्यक्तिगत एजेंट, केवल अमेरिका में

अनुवादित प्रतिलेख

मूल अंग्रेजी कथन से अनुवादित। उपलब्ध ऑडियो और कैप्शन YouTube द्वारा नियंत्रित होते हैं।

0:00 कल, ओपनएआई ने घोषणा की कि उसके एआई ने एक मिलेनियम प्राइज समस्या को हल कर लिया है, नब्बे साल से खुली, दस लाख डॉलर, अस्सी-आठ घंटे में, और दो गणितज्ञ जिन्होंने इसी समस्या पर एक साल बिताया था, उन्हें इसके बारे में पता चला एक रविवार के फोन कॉल पर, जो उनमें से एक के अनुसार, इसमें शामिल था: आप अपने करियर को क्यों बर्बाद करेंगे? यह एक लंबा सोमवार था। सुबह एक एनवाईयू प्रोफेसर ने पोस्ट किया एक चार-पृष्ठ का बयान; हैकर न्यूज पर सोलह सौ अंक। दोपहर में ओपनएआई ने प्रूफ पोस्ट किया।

0:26 शाम को टेरेंस ताओ ने कहा कि खुली समस्याओं का अब एक गैर-नवीकरणीय संसाधन की तरह खनन किया जा रहा है, और रात भर में एक एंथ्रोपिक शोधकर्ता ने एक्स पर इस्तीफा दे दिया, चौवालीस मिलियन व्यूज, क्योंकि दोनों प्रयोगशालाएं, उद्धरण, हमारे जीवन के साथ जुआ खेल रही हैं। साथ ही, मेटा ने एक व्यक्तिगत एजेंट शिप किया जो व्हाट्सएप में रहता है और उसका अपना कंप्यूटर है। इस वीडियो में: प्रूफ, फोन कॉल, फुटनोट, और वह वाक्य जो टेरेंस ताओ चाहते हैं कि प्रयोगशालाएं सुनें।

0:49 यह बुधवार, 9 सितंबर है, और यह The Daily Diff है। पहले गणित। नेवियर-स्टोक्स बताता है कि तरल पदार्थ कैसे चलते हैं, और 1934 से किसी को नहीं पता था कि एक चिकना 3डी तरल एक विलक्षणता को मार सकता है या नहीं: परिमित समय में वेग अनंत हो रहा है। ओपनएआई का सिस्टम कहता है हाँ। आराम से शुरू करें, एक चिकना बल लगाएं, ऊर्जा को परिमित रखें, और एक भंवर स्पेगेटी की तरह अंदर की ओर सर्पिल होगा जब तक कि गति 'ब्लो अप' न हो जाए। क्ले फॉर्मूलेशन के कथन सी और डी, लीन में,

1:16 सत्यापित करने के लिए एस्ट्रा के सत्रह घंटे। तो तरल पदार्थ फट सकते हैं, जो किसी को भी पता था जिसने मैकबुक पर कॉफी गिराई थी, लेकिन अब यह लीन में है। कैसे: ओपनएआई के पास एक नया आंतरिक मॉडल है जिसे वह एस्ट्रा से काफी अधिक सक्षम कहता है, और 1 सितंबर को उन्होंने एक अफवाह सुनी कि दो मिलेनियम समस्याएं हल हो गई थीं, तो उन्होंने इसे हर खुली समस्या पर इंगित किया। नेवियर-स्टोक्स समूह: लगभग दस हजार समवर्ती एजेंट, एक सौ तीस बिलियन आउटपुट टोकन; सभी समस्याओं में तीन सौ बिलियन।

1:42 एस्ट्रा सूची कीमतों पर, एक दस लाख डॉलर के पुरस्कार के लिए पंद्रह मिलियन डॉलर के टोकन, ओपनएआई का कहना है कि वह दावा नहीं करेगा, और उस मार्जिन पर, कौन करेगा। दूसरी तरफ। एनवाईयू के ट्रिस्टन बकमस्टर और एंथ्रोपिक में काम करने वाले लेवेंट अल्पोज ने एक साल कॉर्डोबा और मार्टिनेज-ज़ोरोआ द्वारा क्लॉड और कोडेक्स के साथ एक दृष्टिकोण को आगे बढ़ाने में बिताया, बकमस्टर के अपने शोध निधियों से ओपनएआई को भुगतान करते हुए। 15 अगस्त को उन्हें यूलर समीकरणों के लिए 'ब्लो-अप' मिला; बकमस्टर पहले एलएलएम प्रूफ को सबसे भयानक कहते हैं जो उन्होंने कभी पढ़ा है, और यह 22 अगस्त को लीन में सत्यापित हुआ। फिर एक अफवाह फैली, और 3 सितंबर को उन्होंने ओपनएआई को ईमेल किया: यह हम हैं,

2:10 यह व्यक्तिगत है, हम जल्द ही पोस्ट करेंगे। रविवार को 12:45 पर ओपनएआई ने आज किसी भी समय मिलने के लिए कहा, और सेबेस्टियन बुबेक शामिल हुए। बकमस्टर को बताया गया कि मॉडल ने बहुत कम मानव इनपुट के साथ मजबूर नेवियर-स्टोक्स को साबित कर दिया था, जो कॉल पर एक पूरी टीम बन गया था, पहले आसान समस्याएं, कोडेक्स द्वारा लिखा गया एक प्रॉम्प्ट, और एक जबरदस्त मात्रा में कंप्यूट। उन्होंने पूछा कि पहला प्रॉम्प्ट कब भेजा गया था। आखिरकार: पिछले कुछ दिनों में, हमारे काम के बारे में जानकारी ओपनएआई तक पहुंचने के बाद। दो प्रस्ताव दिए गए।

2:36 एक: आप यूलर पोस्ट करें, हम अगले दिन नेवियर-स्टोक्स पोस्ट करेंगे। दो: बकमस्टर अकेले ओपनएआई प्रूफ लिखते हैं, और, वह कहते हैं, बुबेक ने दो बार अल्पोज को पेपर से हटाना चाहा क्योंकि वह एंथ्रोपिक में काम करते हैं। उन्होंने इनकार कर दिया और कहा कि वह सार्वजनिक हो जाएंगे। बयान के अनुसार जवाब: आप अपने करियर को क्यों बर्बाद करेंगे, फिर: अगर आप नहीं चाहते कि मैं अच्छा बनूं, तो मुझे अच्छा बनने की जरूरत नहीं है। आमतौर पर वह पंक्ति घोड़े के सिर के बिस्तर में आने से ठीक पहले आती है। ओपनएआई का संस्करण: किसी ने उनके काम को नहीं देखा, किसी उपयोगकर्ता डेटा तक पहुंच नहीं बनाई गई,

3:00 और, फुटनोट, वे यह नहीं बता सकते कि प्रोफेसरों के उत्पादों के उपयोग से डी-पहचाने गए डेटा ने मॉडल को बेहतर बनाने में मदद नहीं की। अल्पोज की समीक्षा: सीधे सच बताने के लिए उन्हें बधाई। सैम ऑल्टमैन का कहना है कि सभी ने ईमानदारी और उदारता से काम किया और दूसरी टीम ने साहित्यिक चोरी के निराधार आरोपों की धमकी दी, एक 'आई' के साथ लिखा गया। तो आधिकारिक स्थिति: हमने आपका होमवर्क कॉपी नहीं किया, हमने सुना कि आप होमवर्क कर रहे थे। टेरेंस ताओ ने प्रोफेसरों के परिणाम को उल्लेखनीय बताया और नोट किया कि बकमस्टर ने

3:25 उन्हें फोन पर समझाया, एआई-आधारित संचार विधियों से एक ताज़ा बदलाव। फिर, चार पोस्ट: अच्छे खुले समस्याओं का अब एक गैर-नवीकरणीय संसाधन की तरह खनन किया जा रहा है, यहां तक कि किसी के उस पर काम करने की अफवाह भी इसे समतल करने के लिए एक बड़े एआई प्रयास को ट्रिगर करती है, इसलिए प्रोत्साहन अनुसंधान दिशाओं को साझा करना बंद करना है, सदियों के खुले विज्ञान को उलट देना। तीन समूहों ने एक सप्ताहांत में तरल पदार्थ का 'ब्लो-अप' पोस्ट किया; अगला पेपर एक एनडीए हो सकता है। यही वह मूड है जिसमें जेकब कॉक्सॉन ने इस्तीफा दिया: ओपनएआई में प्रीट्रेनिंग के तीन साल, फिर एंथ्रोपिक; वह कहते हैं कि कोई भी कंपनी जिम्मेदारी से काम नहीं कर रही है, दोनों आत्म-सुधार करने वाली सुपरइंटेलिजेंस की ओर दौड़ रही हैं,

3:55 और अंतिम खेल एक निजी कंपनी के स्लैक से लॉन्च नहीं किया जाना चाहिए। चौवालीस मिलियन व्यूज, उस दिन जब एक लैब ने एक अफवाह पर दस हजार एजेंट लगाए, इसलिए थ्रेड को एक लाइव डेमो के साथ शिप किया गया। इस बीच, मेटा ने म्यूज को शिप किया: अपने स्वयं के क्लाउड वीएम पर एक व्यक्तिगत एजेंट जिसके पास अपना ब्राउज़र है, और आप व्हाट्सएप में इससे बात करते हैं। केवल अमेरिका में, अधिकांश चीजों के लिए मुफ्त। मेटा इस साल के अंत में एक ऐसा संस्करण का वादा करता है जिसे मेटा भी नहीं पढ़ सकता, इस साल का वर्णन करने का एक बहुत ही विशिष्ट तरीका।

4:21 शीर्ष हैकर न्यूज टिप्पणी: मैं मेटा के साथ अपना जीवन इस तरह साझा नहीं करना चाहता। दूसरा: यह मुझे एक घुमक्कड़ बेचने की कोशिश करता रहता है। यदि आप इसे सुनने के बजाय पढ़ना पसंद करते हैं, तो द डिफ हर सुबह आपके इनबॉक्स में आता है — daily diff dot dev पर मुफ्त, लिंक नीचे। तो — आज का फैसला: समीक्षा की आवश्यकता है। प्रूफ संकलित होता है; कहानी नहीं। एक सप्ताहांत में नब्बे साल पुरानी समस्या को बंद करने वाले दस हजार एजेंट साल का क्षमता परिणाम है; इसे उन दो लोगों को रविवार के फोन कॉल के साथ घोषित करना जिनसे आपने इसके बारे में सुना था, वह नहीं है।

4:45 और आज के लिए यही अंतर है। मैं Axrisi से निको हूँ। जिम्मेदारी से विलय करें। कल, OpenAI ने घोषणा की कि उसके AI ने एक मिलेनियम प्राइज समस्या को हल कर लिया है, नब्बे साल से खुली, एक मिलियन डॉलर, अस्सी-आठ घंटे में, और दो गणितज्ञ जिन्होंने इसी समस्या पर एक साल बिताया था, उन्हें इसके बारे में पता चला एक रविवार के फोन कॉल पर, जो उनमें से एक के अनुसार, इसमें शामिल था: आप अपने करियर को क्यों बर्बाद करेंगे? यह एक लंबा सोमवार था।

5:07 सुबह एक एनवाईयू प्रोफेसर ने पोस्ट किया एक चार-पृष्ठ का बयान; हैकर न्यूज पर सोलह सौ अंक। दोपहर में OpenAI ने प्रूफ पोस्ट किया।

स्रोत

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com