Search results：Natural Language

3 results

Alibaba Launches New Qoder: Upgraded from AI Programming Tool to Intelligent Agent Workstation for Everyone

Alibaba launched Qoder, upgrading its AI coding IDE into an agent workbench centered on coding. Users state goals in natural language; it understands context, plans, calls tools, executes and verifies, with visibility, adjustment or takeover throughout. In one year, over 6M users and 100K enterprises. The new version reflects three collaboration paradigm shifts.....

3 days ago22.5K

Major Breakthrough in Automated Formalization of Mathematics: OpenBMB Opensources MathForm 8B Model and Rises to Prominence Against Tech Giants

OpenBMB team open-sourced MathForm, a framework, dataset, and model for automatic mathematical formalization. Targeting core AGI challenges, it uses Lean4 for formal verification of theorems, emphasizing that formalization is not just translating natural language to code but precisely mapping each mathematical concept to the Mathlib library.....

08-2412.5K

Grok Build Officially Launches on Web and Mobile: Everyone Can Become a Full-Stack Developer with One Sentence

xAI announced that the application building feature of Grok Build has completed testing and is now officially available to all subscription users, covering web, iOS, and Android. Users can conveniently create applications or games by simply describing their needs in natural language when interacting with Grok, significantly lowering the barrier to AI native application development and promoting the deep integration of AI applications into productivity.

08-2126.7K