AI और ML · 8 अक्टू॰
OpenAI ने एक अप्रकाशित मॉडल से 722 गणित पांडुलिपियाँ प्रकाशित कीं, GitHub पर Lean प्रमाणों के साथ
यह रिलीज़ शोधकर्ताओं को सार्वजनिक आर्टिफ़ैक्ट, 372 परिणाम परिवार और औपचारिक प्रमाण कार्य देती है, लेकिन वह मॉडल नहीं देती जिसने उन्हें बनाया।
- GitHub आर्टिफैक्ट्स को वास्तविक रिलीज़ मानें, उनके पीछे मौजूद अप्रकाशित मॉडल को नहीं।
- AI द्वारा उत्पन्न गणित को स्थापित मानने से पहले जाँचें कि कौन-से परिणाम Lean में औपचारिक रूप से सत्यापित हैं।
- AI गणित वर्कफ़्लो के प्रकटीकरण, पुनरुत्पादन-क्षमता और औपचारिक सत्यापन पर निर्भर होने की अपेक्षा करें।