Anthropic's Claude ने Lean का उपयोग करके 11 दिनों में फेर्मा के अंतिम प्रमेय का पहला पूर्ण कंप्यूटर-सत्यापित प्रमाण सफलतापूर्वक तैयार किया, जबकि ओपनएआई ने मार्च 2028 तक एक स्वचालित AI शोधकर्ता विकसित करने की योजना की घोषणा की।
- क्लाउड ने 29,500 मध्यवर्ती प्रमेयों को सिद्ध किया और औपचारिक सत्यापन के लिए 13 मिलियन कोड लाइनें उत्पन्न कीं।
- ओपनएआई अनुकूलन और सुरक्षा सुनिश्चित करने के लिए मानवीय निगरानी के साथ शोध दक्षता में वृद्धि करना चाहता है।
- GPT-6 Astra ने रोबोटिक हैंडलिंग क्षमताओं को प्रदर्शित किया, 20 प्रयासों में से 19 में एक कटोरा कार्य पूरा किया।
- Grok Imagine Video 1.5 agent Image 2.0 का उपयोग करके उच्च गुणवत्ता की कहानी सुनाता है।
ये विकास जटिल गणितीय औपचारिकीकरण और स्वतंत्र शोध कार्यप्रवाह में AI की बढ़ती भूमिका को रेखांकित करते हैं।