AI TrackerAI समाचार,
डेवलपर्स के लिए छाँटे गए।
हर AI provider के लॉन्च, कीमत में बदलाव और बंद होने वाली सेवाएँ, संक्षेप में। वही फ़ीड जो ऐप के समाचार टैब में है।
Axiom का कहना है कि AI एजेंटों ने Lean में सीमित सरल समूहों के वर्गीकरण को औपचारिक रूप दिया
AI गणित कंपनी Axiom ने X पर सीमित सरल समूहों के वर्गीकरण का पूर्ण Lean स्वचालित-औपचारीकरण घोषित किया। कंपनी इसे “सममिति की आवर्त सारणी” कहती है। उसके अनुसार, मूल प्रमाण लगभग 15,000 पन्नों का था, जिसे कई पीढ़ियों के 100 से अधिक गणितज्ञों ने लिखा था। Axiom इसे इतिहास का सबसे बड़ा गणितीय प्रमाण बताती है जिसकी कंप्यूटर से पुष्टि की गई है।
Ling ने Ling-3.1-flash-1019 के ओपन वेट्स और एक बेस मॉडल जारी किया
Ling टीम का कहना है कि Ling-3.1-flash-1019 अब ओपन सोर्स है और इसके वेट्स Hugging Face और ModelScope पर उपलब्ध हैं। टीम ने Ling-3.1-flash-base भी जारी किया है, जिसे वह आगे की ट्रेनिंग के लिए एक ओपन आधार बताती है। टीम के मुताबिक, नए मॉडल को तर्क क्षमता और वास्तविक दुनिया के एजेंट वर्कफ़्लो के लिए अतिरिक्त पोस्ट-ट्रेनिंग दी गई है।OpenRouter की कैटलॉग में Meta: Llama 3.1 70B Instruct की समाप्ति तिथि 3 नवंबर दी गई है
OpenRouter की मॉडल कैटलॉग में अब "Meta: Llama 3.1 70B Instruct" (meta-llama/llama-3.1-70b-instruct) की समाप्ति तिथि 3 नवंबर, 2026 दिखाई गई है। यह मॉडल 23 जुलाई, 2024 से सूचीबद्ध है और इसका कॉन्टेक्स्ट 131,072 टोकन का है। पहले इस एंट्री में समाप्ति तिथि नहीं थी। यह कैटलॉग का एक फ़ील्ड है; हमने जो देखा है, उसमें न तो OpenRouter और न ही Meta ने इसकी कोई वजह बताई है, और एंट्री यह नहीं बताती कि उस तारीख के बाद मॉडल का क्या होगा।OpenCode Desktop के लिए plugins जोड़े गए
LukeParkerDev ने 27 अक्टूबर को X पर OpenCode Desktop के लिए plugins की घोषणा की। पोस्ट में एक छोटा डेमो वीडियो और GUI plugins बनाने से जुड़ी OpenCode की दस्तावेज़ीकरण का लिंक था। पोस्ट को उद्धृत करने वाले thdxr ने कहा कि desktop plugins, OpenCode के TUI plugins के उसी पैटर्न को आगे बढ़ाते हैं, इसलिए एक ही पैकेज से server, TUI और desktop plugins जारी किए जा सकते हैं। उन्होंने यह भी कहा कि दाईं ओर का पैनल उपयोगी सुविधाएँ जोड़ने के लिए अच्छी जगह है। OpenCode अकाउंट ने भी पोस्ट को रीशेयर किया।
भारतीय भाषाओं के लिए voice model Maya-2, open weights के साथ जारी
भारत को ध्यान में रखकर बनाया गया speech synthesis model Maya-2, 27 अक्टूबर को Hugging Face पर maya-research/maya2-native नाम से open weights के साथ प्रकाशित किया गया। X पर की गई घोषणा के मुताबिक, यह सभी 28 राज्यों और 8 केंद्र शासित प्रदेशों के 1.5 अरब से अधिक लोगों को कवर करता है।