AI रिपोर्ट्स · OpenAI · 2026-10-06 · ब्लॉग / टिप्पणी
गणित में AI की प्रगति साझा करना
मूल शीर्षक: Sharing AI progress in mathematics
OpenAI ने एक आंतरिक फ्रंटियर मॉडल से गणित की खुली समस्याओं पर नए नतीजे प्रकाशित किए हैं। वह GitHub पर Lean प्रूफ़ फ़ॉर्मलाइज़ेशन और शोध का विवरण भी साझा करता है।