बड़ी ख़बरअर्थव्यवस्थाOpenAI
गणित में AI की प्रगति को शेयर करना
OpenAI ने अपने एक अंदरूनी फ्रंटियर मॉडल से गणित की अनसुलझी समस्याओं (open problems) पर नए परिणाम पब्लिश किए हैं, और Lean प्रूफ फॉर्मलाइजेशन व रिसर्च की बारीकियां GitHub पर शेयर की हैं।
OpenAI पर पढ़ें ↗🔥 Hacker News पर भी