ओपनएआई ने तीन एआई शोध दावों को अकादमिक जांच के लिए खोला
aiinsider ·
ओपनएआई (OpenAI) ने गणित, कंप्यूटर विज्ञान और भौतिकी में एआई-जनित तीन शोध दावों को स्वतंत्र अकादमिक समीक्षा के लिए प्रस्तुत किया है। इस पहल का उद्देश्य यह निर्धारित करना है कि वैज्ञानिक कैसे सत्यापित कर सकते हैं कि एआई तर्क वास्तविक नई खोजों का समर्थन करता है, न कि केवल आकर्षक उत्तर उत्पन्न करता है। कंप्यूटिंग क्षेत्र में, रायन विलियम्स सहित विशेषज्ञ एक ऐसे दावे का परीक्षण करेंगे जिसमें एक्सपोनेंशियल टाइम हाइपोथिसिस (Exponential Time Hypothesis) को असत्य सिद्ध किया गया है। गणितज्ञ वेव व्यवहार से संबंधित स्थानीय स्मूथिंग अनुमान (local smoothing conjecture) पर एक प्रमाण का मूल्यांकन करेंगे। डेविड ग्रॉस की अगुवाई वाले भौतिकशास्त्री क्वांटम क्रोमोडायनामिक्स जैसे क्वांटम फील्ड थ्योरियों के लिए दावेदार अस्तित्व प्रमाणों का मूल्यांकन करेंगे। सत्यापन का समर्थन करने के लिए, ओपनएआई ने लीन (Lean) सॉफ्टवेयर द्वारा जांचे गए गणितीय प्रमाण प्रदान किए हैं, जो तार्किक दृढ़ता सुनिश्चित करते हैं। हालांकि ये प्रयास मानक व्याख्याओं की तुलना में मजबूत सबूत प्रदान करते हैं, फिर भी शोधकों को परिणामों और उनके व्यापक निहितार्थों की व्याख्या करनी होगी।
aiinsider