ai-powered-markdown-translatorअनुवादित लेख fr से hi में gpt-5.4-mini के साथ।
इस सप्ताह, Google DeepMind AlphaProof Nexus के साथ गणितीय शोध में एक नया मुकाम हासिल करता है, जो दशकों पुरानी खुली समस्याओं को हल करने में सक्षम एक एजेंट है। Anthropic की ओर, Claude Code का auto mode Pro plan पर उपलब्ध हो जाता है और Sonnet 4.6 को एकीकृत करता है। GitHub Eclipse के लिए Copilot plugin को open source करता है, और Alibaba Qwen3.7-Max पर implicit cache सक्रिय करता है।
AlphaProof Nexus — एक AI एजेंट दशकों पुरानी खुली गणितीय समस्याओं का समाधान करता है
25 मई 2026 — Google DeepMind ने AlphaProof Nexus की घोषणा की, जो Gemini द्वारा संचालित औपचारिक प्रमाणों की खोज के लिए एक agentic framework है, साथ ही 21 मई को arXiv पर प्रस्तुत एक लेख भी (arXiv:2605.22763)।
यह एजेंट Gemini के माध्यम से generation और Lean proof language के माध्यम से formal verification के बीच बारी-बारी से चलने वाले एक loop पर आधारित है। यह संयोजन उत्पन्न प्रमाणों की गणितीय rigor सुनिश्चित करता है: LLM प्रस्ताव देता है, Lean उसे मान्य या अस्वीकार करता है, और एजेंट पुनरावृत्ति करता है।
प्रकाशित परिणाम:
| क्षेत्र | परिणाम | संदर्भ |
|---|---|---|
| Erdős की खुली समस्याएँ | 353 में से 9 हल | इनमें 2 56 वर्षों से खुली थीं |
| OEIS conjectures | 492 में से 44 हल | Online Encyclopedia of Integer Sequences |
| बीजीय ज्यामिति | 1 खुली समस्या हल | 15 वर्षों से खुली |
| min-max optimization | 1 खुला प्रश्न हल | 7 वर्षों से खुला |
प्रति हल हुई समस्या की लागत कुछ सौ डॉलर है — यह agentic दृष्टिकोण की formal mathematical research के लिए आर्थिक दक्षता को दर्शाने वाला एक order of magnitude है।
AlphaProof Nexus पहले से ही कई क्षेत्रों में गणितज्ञों के साथ collaboration में तैनात है: combinatorics, graph theory, बीजीय ज्यामिति, और quantum optics। यह कार्य AlphaProof (2024) की निरंतरता में है, जिसने olympiad-स्तर की समस्याओं को लक्षित किया था। AlphaProof Nexus research open problems को लक्षित करता है, जिससे यह autonomous mathematical discovery tool के रूप में AI के उपयोग की दिशा में एक कदम आगे जाता है।
“AI agents are advancing research-level math.”
🇮🇳 AI एजेंट शोध के स्तर पर गणित को आगे बढ़ा रहे हैं। — Pushmeet Kohli, VP Research, Google DeepMind on X
Claude Code v2.1.149 — श्रेणी के अनुसार /usage विवरण और 25+ सुधार
23 मई 2026 — Claude Code का संस्करण 2.1.149 जारी किया गया, जिससे पिछले सप्ताह Boris Cherny द्वारा घोषित /usage breakdown by category कार्यक्षमता साकार हुई।
| सुविधा | विवरण |
|---|---|
/usage breakdown | श्रेणी के अनुसार उपयोग विवरण: skills, sub-agents, plugins, MCP server |
/diff navigation | कीबोर्ड navigation: arrows, j/k, PgUp/PgDn, Home/End |
| GFM task lists | Markdown checkboxes ([ ] / [x]) सही ढंग से प्रदर्शित |
| Enterprise | नया managed parameter allowAllClaudeAIMcps for managed-mcp.json |
यह release लगभग बीस bugs को भी ठीक करती है: cd में PowerShell permissions bypass, find के साथ macOS पर vnode table exhaustion, managed-settings dialog का freeze, /config में ghost changes, missing optional fields पर /insights का crash, और tools calls के बीच amber रहने वाला reflection spinner।
उसी दिन जारी संस्करण 2.1.150 केवल आंतरिक infrastructure improvements लाता है, बिना किसी दिखाई देने वाले बदलाव के।
Claude Code Auto Mode — Pro पर उपलब्ध, Sonnet 4.6 एकीकृत
23 मई 2026 — Anthropic Claude Code के auto mode के दो विस्तारों की घोषणा करता है:
“Two updates to auto mode: · Now available on the Pro plan · Sonnet 4.6 is now supported, alongside Opus 4.7. Shift+tab, and let Claude run.”
🇮🇳 Auto mode के दो अपडेट: अब Pro plan पर उपलब्ध; Sonnet 4.6 समर्थित है, Opus 4.7 के साथ। Shift+tab दबाएँ, और Claude को काम करने दें। — X पर @ClaudeDevs
Shift+Tab के माध्यम से सक्रिय auto mode, Claude को प्रत्येक चरण पर मैन्युअल पुष्टि के बिना स्वायत्त रूप से actions निष्पादित करने देता है। अब तक यह केवल उच्चतर plans तक सीमित था, लेकिन अब यह Pro subscribers के लिए उपलब्ध है। Sonnet 4.6 का जुड़ना लंबी sessions के लिए Opus 4.7 की तुलना में अधिक किफायती विकल्प देता है, जिससे autonomous mode में credit consumption कम होती है।
इन परिवर्तनों तक पहुँचने के लिए: claude update या Claude desktop application को अपडेट करें। इस घोषणा ने X पर 1.18 million views उत्पन्न किए।
GitHub Copilot for Eclipse — MIT लाइसेंस के अंतर्गत open source
21 मई 2026 — GitHub ने Eclipse के लिए GitHub Copilot plugin को open source कर दिया, जो GitHub पर MIT लाइसेंस के अंतर्गत github.com/microsoft/copilot-for-eclipse पर उपलब्ध है।
समुदायिक contributions के लिए पूरी feature set उपलब्ध है:
| सुविधा | स्थिति |
|---|---|
| Code completion (इनलाइन completions) | Open source |
| Next Edit Suggestions (NES) | Open source |
| Chat (conversation flow, tool calls) | Open source |
| Agent mode (multistep agentic workflows) | Open source |
| Skills और prompt files | Open source |
| BYOK (Bring Your Own Key) | Open source |
| Custom agents, sub-agents, agent plan, MCP | Open source |
प्रेरणा Eclipse के खुले ecosystem की भावना में transparency और community innovation है। open होने के साथ ही समुदाय से पहले ही contributions प्राप्त हो चुकी हैं।
Qwen3.7-Max — production में implicit cache सक्रिय
25 मई 2026 — Alibaba अपने agent-oriented flagship model Qwen3.7-Max पर implicit caching सक्रिय करता है।
Cache सभी API requests के लिए स्वतः सक्रिय हो जाता है — code में किसी बदलाव की आवश्यकता नहीं। Developers को repetitive contexts पर तुरंत तेज़ और कम लागत वाली requests का लाभ मिलता है। अधिक और deterministic cache rates के लिए, Alibaba Alibaba Cloud पर documented explicit cache की सिफारिश करता है।
संक्षिप्त समाचार
-
Hong Kong AIFF (HKUST) में MiniMax Hailuo AI — HKUST द्वारा आयोजित 2nd AI Film Festival को 80 देशों से 1,300 applications प्राप्त हुए। Hailuo AI वहाँ Tencent और Z.ai के साथ AI cinema के democratization पर एक panel में represented था। 🔗 minimax.io
-
NVIDIA DGX Spark — 16 स्थानीय AI agents एक साथ — @NVIDIAAI द्वारा retweet की गई community demonstration: 2x DGX Spark (GB10) + MiniMax M2.7 NVFP4 16 AI agents को simultaneous streaming में, cloud APIs के बिना, चलाते हैं। 🔗 X पर @NVIDIAAI
इसका क्या अर्थ है
औपचारिक गणितीय शोध के लिए एक मोड़। AlphaProof Nexus एक rupture दर्शाता है: AI अब केवल प्रतियोगी समस्याओं या academic benchmarks तक सीमित नहीं है; यह उन खुली समस्याओं पर काम कर रहा है जिन्हें गणितज्ञ दशकों से हल नहीं कर पाए हैं। Gemini + Lean का संयोजन एक formal verification loop बनाता है जो सुनिश्चित करता है कि प्रमाण केवल plausible ही नहीं, बल्कि सही भी हैं। प्रति समस्या कुछ सौ डॉलर की लागत संकेत देती है कि यह दृष्टिकोण शोध प्रयोगशालाओं के लिए सुलभ होता जा रहा है, केवल उद्योग के दिग्गजों के लिए नहीं।
Anthropic पक्ष में agentic tooling की परिपक्वता। Pro plan पर auto mode का आना और Sonnet 4.6 का एकीकरण संकेत देता है कि Anthropic स्वायत्त agentic उपयोग को सामान्य जनता के लिए पर्याप्त स्थिर मानता है। संस्करण 2.1.149, अपने श्रेणी-वार breakdown /usage के साथ, जटिल multi-agent प्रणालियाँ बनाने वाले developers की एक ठोस आवश्यकता को संबोधित करता है: अपनी architecture को अनुकूलित करने के लिए ठीक-ठीक समझना कि क्या उनकी quota खपत कर रहा है।
खुलापन बनाम software sovereignty. MIT के अंतर्गत Eclipse के लिए Copilot का open source होना और Qwen3.7-Max पर implicit cache का सक्रिय होना developers को जीतने की दो अलग-अलग रणनीतियों को दर्शाते हैं। GitHub enterprise Java environments में Copilot adoption बढ़ाने के लिए transparency और Eclipse ecosystem पर दांव लगाता है। Alibaba friction के बिना automatic cost reduction पर दांव लगाता है ताकि Qwen3.7-Max cloud alternatives के मुकाबले अधिक प्रतिस्पर्धी बन सके।
Generative media का industrialization आगे बढ़ रहा है। Hong Kong के AIFF में MiniMax की भागीदारी — 1,300 applications from 80 countries — और DGX Spark पर 16 स्थानीय agents की NVIDIA demonstration एक ऐसा ecosystem रेखांकित करती है जहाँ AI-आधारित video creation cinema के professional workflows में प्रवेश कर रही है, चाहे festival स्तर पर हो या local infrastructure पर।