विज्ञानTop Storyटॉप स्टोरीताज़ा समाचार
OpenAI ने अनरिलीज़्ड मॉडल द्वारा हल किए गए गणित समस्याओं के सारांश जारी किए
OpenAI ने विभिन्न गणितीय समस्याओं के समाधान का विवरण देने वाले 722 पांडुलिपियाँ प्रकाशित की हैं, जिसमें Navier-Stokes समस्या भी शामिल है। इस रिलीज़ में तर्क सारांश और औपचारिक प्रमाण शामिल हैं।
विश्वसनीयता: 90%भावना: Neutralउच्च प्राथमिकता
क्या हुआ?
OpenAI ने विभिन्न गणितीय समस्याओं के समाधान का विवरण देने वाले 722 पांडुलिपियाँ प्रकाशित की हैं, जिसमें Navier-Stokes समस्या भी शामिल है। इस रिलीज़ में तर्क सारांश और औपचारिक प्रमाण शामिल हैं।
AI संक्षिप्त सारांश
OpenAI ने अपने मॉडल द्वारा हल की गई गणितीय समस्याओं के सारांश और पांडुलिपियाँ जारी की हैं, जिसमें Navier-Stokes समस्या शामिल है।
मुख्य बिंदु
- OpenAI के अनरिलीज़्ड मॉडल ने Navier-Stokes समस्या को हल किया।
- 372 परिणामों के परिवारों को कवर करने वाले 722 पांडुलिपियाँ प्रकाशित की गई हैं।
- परिणामों के लिए औसत गणना समय लगभग तीन घंटे का ChatGPT Pro था।
- औपचारिक प्रमाण Lean प्रोग्रामिंग भाषा में उपलब्ध हैं।
- OpenAI ने परिणामों को जारी करने के लिए AGMAI से सर्वोत्तम प्रथाओं पर परामर्श किया।
मुख्य अंतर्दृष्टि
- यह रिलीज़ AI और गणित के बीच आगे सहयोग को प्रोत्साहित कर सकती है।
- OpenAI का दृष्टिकोण AI अनुसंधान में पारदर्शिता के लिए एक मिसाल स्थापित कर सकता है।
- औपचारिक प्रमाण AI-निर्मित समाधानों की विश्वसनीयता को बढ़ा सकते हैं।
यह क्यों महत्वपूर्ण है
यह रिलीज़ नए अंतर्दृष्टि और समाधान प्रदान करके गणितीय अनुसंधान को आगे बढ़ा सकती है।
संस्थाएँ
OpenAI· OrganizationNavier-Stokes· EventAGMAI· Organization
स्रोत
Business Standard
