ओपनएआय म्हणते की त्यांनी नॅव्हियर-स्टोक्स समीकरण सोडवले. निकाल: NEEDS REVIEW.
ओपनएआय (OpenAI) म्हणते की, सुमारे 10,000 समवर्ती एजंट्सनी 88 तास काम करून तयार केलेल्या एका अंतर्गत मॉडेलने, 'लीन-व्हेरिफाईड' पुरावा दिला आहे की नॅव्हियर-स्टोक्स (Navier–Stokes) समीकरणे मर्यादित वेळेत 'ब्लो अप' होतात.
ओपनएआय (OpenAI) म्हणते की, सुमारे 10,000 समवर्ती एजंट्सनी 88 तास काम करून तयार केलेल्या एका अंतर्गत मॉडेलने, 'लीन-व्हेरिफाईड' पुरावा दिला आहे की नॅव्हियर-स्टोक्स (Navier–Stokes) समीकरणे मर्यादित वेळेत 'ब्लो अप' होतात. हा 1934 पासून अनुत्तरित असलेला एक मिलेनियम प्राईज प्रश्न आहे. बारा तासांपूर्वी, NYU च्या ट्रिस्टन बकमास्टर (Tristan Buckmaster) यांनी OpenAI सोबतच्या रविवारच्या फोन कॉलवर (“तुम्ही तुमच्या कारकिर्दीचा नाश का कराल?”) चार पानांचे निवेदन प्रकाशित केले. टेरेन्स ताओ (Terence Tao) यांनी लिहिले की, आता खुल्या समस्यांचे खनन एका गैर-नूतनीकरणीय संसाधनासारखे केले जात आहे, आणि या शर्यतीमुळे अॅन्थ्रोपिक (Anthropic) प्रीट्रेनिंग संशोधकाने राजीनामा दिला. तसेच: मेटा (Meta) ने म्यूज (Muse) हे स्वतःच्या VM असलेले वैयक्तिक एजंट 'शिप' केले आहे. निकाल: NEEDS REVIEW.
लिखित आवृत्ती वाचा (इंग्रजी) ↗
या व्हिडिओमध्ये काय समाविष्ट आहे
- OpenAI: नॅव्हियर-स्टोक्स ब्लो-अप, ~10,000 एजंट्स, 88 तास, 130 अब्ज आउटपुट टोकन्स, Lean-सत्यापित
- बकमास्टर आणि अॅल्पोज (Alpöge): त्याच दृष्टिकोनावर एक वर्ष, एक अफवा, आणि दोन ऑफरसह रविवारचा फोन कॉल
- टेरेन्स ताओ: "एखाद्या समस्येवर कोणीतरी काम करत असल्याची अफवा देखील ती समस्या सोडवण्यासाठी AI-आधारित मोठ्या प्रयत्नांना चालना देऊ शकते."
- जेकब कॉक्सन (Jacob Coxon) ने अॅन्थ्रोपिक (Anthropic) मधून राजीनामा दिला: दोन्ही लॅब्स "स्वयं-सुधारित सुपरइंटेलिजन्सकडे (self-improving superintelligence) थेट धावत आहेत."
- मेटाने (Meta) म्यूज (Muse) शिप केले: WhatsApp मध्ये, स्वतःच्या क्लाउड VM वर एक वैयक्तिक एजंट, फक्त अमेरिकेत उपलब्ध.
अनुवादित प्रतिलेख
मूळ इंग्रजी निवेदनातून अनुवादित. उपलब्ध ऑडिओ आणि मथळे YouTube द्वारे नियंत्रित आहेत.
0:00 काल, OpenAI ने जाहीर केले की त्यांच्या AI ने मिलेनियम प्राईजची एक समस्या सोडवली आहे, नव्वद वर्षांपासून अनुत्तरित, एक दशलक्ष डॉलर्सची, ऐंशी-आठ तासांत, आणि त्याच समस्येवर एक वर्ष घालवलेल्या दोन गणितज्ञांना त्याबद्दल माहिती मिळाली रविवारच्या एका फोन कॉलवर, ज्यामध्ये, त्यांच्यापैकी एकाच्या मते, हे समाविष्ट होते: तुम्ही तुमच्या कारकिर्दीचा नाश का कराल? तो एक लांबलचक सोमवार होता. पहाटे एका NYU प्राध्यापकाने पोस्ट केले एक चार पानी निवेदन; हॅकर न्यूजवर (Hacker News) सोळाशे पॉईंट्स. दुपारी OpenAI ने पुरावा पोस्ट केला.
0:26 संध्याकाळी टेरेन्स ताओ म्हणाले की खुल्या समस्या आता गैर-नूतनीकरणीय संसाधनासारख्या वापरल्या जात आहेत, आणि रात्रभरात एक अॅन्थ्रोपिक संशोधक X वर राजीनामा देऊन, चव्वेचाळीस दशलक्ष व्ह्यूज, कारण दोन्ही लॅब्स, कोट, "आपल्या जीवनाशी जुगार खेळत आहेत." चव्वेचाळीस दशलक्ष व्ह्यूज, कारण दोन्ही लॅब्स, कोट, आपल्या जीवनाशी जुगार खेळत आहेत. तसेच, मेटाने एक वैयक्तिक एजंट 'शिप' केले जे WhatsApp मध्ये राहते आणि त्याचे स्वतःचे संगणक आहे. या व्हिडिओमध्ये: पुरावा, फोन कॉल, तळटीप, आणि टेरेन्स ताओ यांना लॅब्सनी ऐकावे असे वाटणारे वाक्य.
0:49 आज बुधवार, 9 सप्टेंबर आहे, आणि हा The Daily Diff आहे. आधी गणित पाहू. नॅव्हियर-स्टोक्स समीकरण द्रवपदार्थ कसे फिरतात हे वर्णन करते, आणि 1934 पासून कोणालाही माहित नव्हते की एक गुळगुळीत 3D द्रवपदार्थ सिंग्युलॅरिटीला (singularity) धडकू शकतो का: मर्यादित वेळेत वेग अनंत होणे. OpenAI ची प्रणाली म्हणते की होय. विश्रांती अवस्थेतून सुरुवात करा, एक गुळगुळीत बल लावा, ऊर्जा मर्यादित ठेवा, आणि एक भोवरा स्पॅगेटीसारखा आत वळत जाईल जोपर्यंत वेग 'ब्लो अप' होत नाही. क्ले (Clay) फॉर्म्युलेशनमधील विधाने C आणि D, लीन (Lean) मध्ये,
1:16 सत्यापित करण्यासाठी सतरा तास अॅस्ट्रा (Astra) लागली. म्हणून द्रवपदार्थ 'स्फोट' होऊ शकतात, जे मॅकबुकवर कॉफी सांडणाऱ्या प्रत्येकाला माहित होते, पण आता ते लीनमध्ये आहे. कसे: OpenAI कडे एक नवीन अंतर्गत मॉडेल आहे जे ते Astra पेक्षा लक्षणीयरीत्या अधिक सक्षम म्हणते, आणि 1 सप्टेंबर रोजी त्यांना एक अफवा ऐकायला मिळाली की दोन मिलेनियम समस्या सोडवल्या गेल्या आहेत, म्हणून त्यांनी ते प्रत्येक खुल्या समस्येकडे निर्देशित केले. नॅव्हियर-स्टोक्स समूह: सुमारे दहा हजार समवर्ती एजंट्स, एकशे तीस अब्ज आउटपुट टोकन्स; सर्व समस्यांसाठी तीनशे अब्ज.
1:42 Astra च्या सूचीबद्ध किमतीनुसार, एक दशलक्ष डॉलरच्या बक्षीसासाठी पंधरा दशलक्ष डॉलर्सचे टोकन्स OpenAI म्हणते की ते दावा करणार नाहीत, आणि त्या मार्जिनवर, कोण करेल. दुसरी बाजू. आणि त्या मार्जिनवर, कोण करेल. दुसरी बाजू. NYU मधील ट्रिस्टन बकमास्टर आणि अॅन्थ्रोपिकमध्ये (Anthropic) काम करणारे लेव्हेंट अॅल्पोज, कॉर्डोबा (Córdoba) आणि मार्टिनेझ-झोरोआ (Martínez-Zoroa) यांच्या दृष्टिकोनाला क्लाउड (Claude) आणि कोडिक्स (Codex) सह पुढे ढकलण्यासाठी एक वर्ष घालवले, बकमास्टरच्या स्वतःच्या संशोधन निधीतून OpenAI ला पैसे देत होते. 15 ऑगस्ट रोजी त्यांना यूलर (Euler) समीकरणांसाठी 'ब्लो-अप' मिळाले; बकमास्टर पहिल्या LLM पुराव्याला त्यांनी कधी वाचलेला सर्वात भयानक पुरावा म्हणतात, पहिला LLM पुरावा त्यांनी कधी वाचलेला सर्वात भयानक पुरावा म्हणतात,
2:10 आणि तो 22 ऑगस्ट रोजी लीनमध्ये (Lean) सत्यापित झाला. नंतर एक अफवा पसरली, आणि 3 सप्टेंबर रोजी त्यांनी OpenAI ला ईमेल केला: ते आम्ही आहोत, हे वैयक्तिक आहे, आम्ही लवकरच पोस्ट करू. रविवारी 12:45 वाजता OpenAI ने आज कोणत्याही वेळी भेटण्याची विनंती केली, आणि सेबॅस्टियन बुबेक (Sébastien Bubeck) सामील झाले. बकमास्टरला सांगण्यात आले की मॉडेलने खूप कमी मानवी इनपुटसह 'फोर्स्ड नॅव्हियर-स्टोक्स' सिद्ध केले आहे, जे कॉलवर एका संपूर्ण टीममध्ये बदलले, आधी सोप्या समस्या, कोडिक्सने लिहिलेला एक प्रॉम्प्ट (prompt), आधी सोप्या समस्या, कोडिक्सने लिहिलेला एक प्रॉम्प्ट (prompt), आणि प्रचंड प्रमाणात कॉम्प्यूट (compute).
2:36 त्यांनी विचारले की पहिला प्रॉम्प्ट कधी पाठवला गेला. शेवटी: गेल्या काही दिवसांत, आमच्या कामाबद्दलची माहिती OpenAI पर्यंत पोहोचल्यानंतर. दोन ऑफर पुढे आल्या. एक: तुम्ही यूलर (Euler) पोस्ट करा, आम्ही दुसऱ्या दिवशी नॅव्हियर-स्टोक्स (Navier–Stokes) पोस्ट करू. दोन: बकमास्टर एकटा OpenAI पुरावा लिहितो, आणि, तो म्हणतो, बुबेकला दोनदा अॅल्पोजला (Alpöge) पेपरमधून काढायचे होते कारण तो अॅन्थ्रोपिकमध्ये (Anthropic) काम करतो. त्याने नकार दिला आणि म्हणाला की तो सार्वजनिक करेल. उत्तरादाखल, निवेदनानुसार: तुम्ही तुमच्या कारकिर्दीचा नाश का कराल,
3:00 नंतर: जर तुम्हाला मी चांगला वागावा असे वाटत नसेल, तर मला चांगले वागण्याची गरज नाही. सामान्यतः घोडीचे डोके बिछान्यात दिसण्यापूर्वीची ओळ. OpenAI ची आवृत्ती: कोणीही त्यांचे काम पाहिले नाही, कोणताही वापरकर्ता डेटा ऍक्सेस केला नाही, आणि, तळटीप, ते प्राध्यापकांच्या उत्पादनांच्या वापरामुळे मिळालेल्या 'डी-आयडेंटिफाइड' डेटाने मॉडेल सुधारण्यास मदत केली हे नाकारू शकत नाहीत. आणि, तळटीप, ते प्राध्यापकांच्या उत्पादनांच्या वापरामुळे मिळालेल्या 'डी-आयडेंटिफाइड' डेटाने मॉडेल सुधारण्यास मदत केली हे नाकारू शकत नाहीत. अॅल्पोजची (Alpöge) समीक्षा: त्यांना थेट सत्य सांगितल्याबद्दल त्यांचे अभिनंदन. सॅम अल्टमन (Sam Altman) म्हणतात की प्रत्येकाने प्रामाणिकपणा आणि उदारतेने वागले आणि दुसऱ्या संघाने
3:25 साहित्यिक चोरीच्या निराधार आरोपांची धमकी दिली, एका 'i' सह लिहिलेली. तर अधिकृत भूमिका: आम्ही तुमचे गृहपाठ कॉपी केले नाही, आम्ही ऐकले की तुम्ही गृहपाठ करत होता. टेरेन्स ताओ (Terence Tao) यांनी प्राध्यापकांचा निकाल उल्लेखनीय असल्याचे म्हटले आणि नोंदवले की बकमास्टरने (Buckmaster) फोनवर त्यांना समजावून सांगितले, जी AI-आधारित संवाद पद्धतींपेक्षा ताजीतवानी बदल होती. नंतर, चार पोस्ट्स: चांगल्या खुल्या समस्या आता गैर-नूतनीकरणीय संसाधनासारख्या वापरल्या जात आहेत, एखाद्या समस्येवर कोणीतरी काम करत असल्याची अफवा देखील ती सोडवण्यासाठी मोठ्या AI प्रयत्नांना चालना देते, म्हणून संशोधन दिशा शेअर करणे थांबवण्याचा प्रोत्साहन आहे, ज्यामुळे शतकानुशतके चाललेल्या खुल्या विज्ञानाची प्रक्रिया उलट होईल.
3:55 म्हणून संशोधन दिशा शेअर करणे थांबवण्याचा प्रोत्साहन आहे, ज्यामुळे शतकानुशतके चाललेल्या खुल्या विज्ञानाची प्रक्रिया उलट होईल. तीन गटांनी एका आठवड्याच्या शेवटी द्रवपदार्थाचा 'ब्लो-अप' पोस्ट केला; पुढील पेपर एक एनडीए (NDA) असू शकतो. जी मनस्थिती जेकब कॉक्सन (Jacob Coxon) ने राजीनामा दिला: तीन वर्षे प्रीट्रेनिंग OpenAI मध्ये, नंतर अॅन्थ्रोपिकमध्ये (Anthropic); कोणतीही कंपनी जबाबदारीने वागत नाही, तो म्हणतो, दोन्ही स्वयं-सुधारित सुपरइंटेलिजन्सकडे (self-improving superintelligence) धावत आहेत, तो म्हणतो, दोन्ही स्वयं-सुधारित सुपरइंटेलिजन्सकडे (self-improving superintelligence) धावत आहेत, आणि अंतिम टप्पा खाजगी कंपनीच्या स्लॅकवरून (Slack) सुरू करू नये. चव्वेचाळीस दशलक्ष व्ह्यूज, ज्या दिवशी एका लॅबने दहा हजार एजंट्स एका अफवेवर लावले,
4:21 त्यामुळे थेट डेमो (demo) सह धागा 'शिप' करण्यात आला. दरम्यान, मेटाने (Meta) म्यूज (Muse) 'शिप' केले: स्वतःच्या क्लाउड VM वर, स्वतःच्या ब्राउझरसह एक वैयक्तिक एजंट, आणि तुम्ही WhatsApp मध्ये त्याच्याशी बोलता. फक्त अमेरिकेत, बहुतेक गोष्टींसाठी विनामूल्य. मेटा (Meta) वचन देते की या वर्षाच्या शेवटी एक आवृत्ती येईल जी मेटालाही वाचता येणार नाही, या वर्षाचे वर्णन करण्याचा एक अतिशय विशिष्ट मार्ग. हॅकर न्यूजवरील (Hacker News) सर्वोच्च टिप्पणी: मला अशा प्रकारे मेटासोबत (Meta) माझे जीवन शेअर करायचे नाही. दुसरे: ते मला एक स्ट्रोलर (stroller) विकण्याचा प्रयत्न करत आहे.
4:45 तुम्ही हे ऐकण्याऐवजी वाचायला प्राधान्य देत असाल, तर 'डिफ' (diff) दररोज सकाळी तुमच्या इनबॉक्समध्ये येतो — thedailydiff.dev वर विनामूल्य, लिंक खाली. तर — आजचा निकाल: NEEDS REVIEW. पुरावा संकलित होतो; कथा नाही. दहा हजार एजंट्सनी नव्वद वर्षांपासूनची समस्या एका आठवड्यात सोडवणे हा वर्षाचा क्षमता परिणाम आहे; पण तुम्ही ज्या दोन लोकांपासून त्याबद्दल ऐकले त्यांना रविवारच्या फोन कॉलवर जाहीर करणे नाही. पण तुम्ही ज्या दोन लोकांपासून त्याबद्दल ऐकले त्यांना रविवारच्या फोन कॉलवर जाहीर करणे नाही.
5:07 आणि आजचा 'डिफ' (diff) एवढाच. मी अॅक्स्रिसी (Axrisi) चा निको (Niko) आहे. जबाबदारीने विलीन करा (Merge responsibly).
स्रोत
- OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
- OpenAI Lean formalizationgithub.com
- Tristan Buckmaster, statement (PDF)cims.nyu.edu
- HN: Buckmaster statementnews.ycombinator.com
- HN: OpenAI postnews.ycombinator.com
- Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
- Terence Tao: open problems mined non-renewablymathstodon.xyz
- HN: Tao threadnews.ycombinator.com
- Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
- GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
- Jacob Coxon's resignation threadx.com
- HN: I resigned from Anthropic todaynews.ycombinator.com
- Meta: Introducing Museabout.fb.com
- Museai.meta.com
- HN: Musenews.ycombinator.com



