GPT-6.1 Terra
GPT-6.1 Terra is a multimodal artificial intelligence model developed by OpenAI for visual reasoning, computer use, software development, and professional productivity tasks. The model combines image understanding, natural language processing, and precise interaction with graphical applications to execute complex workflows. Its visual reasoning capabilities support interpreting technical drawings, analyzing images, understanding application interfaces, and extracting information from documents. GPT-6.1 Terra can automate computer-based tasks such as completing forms, entering invoice information into accounting software, editing videos, and manipulating application interfaces. The model supports a context window of 1,050,000 tokens, configurable reasoning effort, function calling, structured outputs, and integrations with external tools through the OpenAI API.
Learn more
Symbolica
Extant models are expensive to train, complex to deploy, difficult to validate, and infamously prone to hallucination. Symbolica is redesigning how machines learn from the ground up. We use the powerfully expressive language of category theory to develop models capable of learning algebraic structure. This enables our models to have a robust and structured model of the world; one that is explainable and verifiable. We're aiming to allow developers and end users to understand and specify how and why model outputs were produced. This interpretability and control over model outputs - including the ability to delete proprietary information from the training set - is imperative for mission-critical applications.
Learn more
Muse Spark 1.2
Muse Spark 1.2 is Meta’s coding-focused model update designed to power Muse Code and improve software engineering workflows. The model is built for code generation, complex debugging, codebase understanding, long-horizon development tasks, and end-to-end developer workflows. Muse Spark 1.2 was co-trained with Muse Code to improve performance inside the terminal coding agent environment. It supports planning, goal conditioning, context compaction, subagent coordination, and iterative coding workflows across large repositories. The model was trained with expanded coding compute, diverse development environments, self-improvement loops, and long-running engineering tasks. Built for AI developers and software teams, Muse Spark 1.2 helps agents plan, write, validate, debug, and optimize code with greater autonomy.
Learn more
Kimi K3.1 Pro
Kimi K3.1 Pro is a multimodal large language model developed by Moonshot AI for advanced reasoning, software development, 3D modeling, financial analysis, and autonomous AI agent workflows. The model uses a mixture-of-experts architecture with approximately 2.8 trillion total parameters and 104 billion active parameters, supporting a context window of one million tokens. Its coding capabilities include debugging existing applications, generating complete software projects, developing interactive websites, and creating applications with game engines. Kimi K3.1 Pro can analyze images, interpret spatial relationships, generate CAD scripts, and create three-dimensional assets from text descriptions or visual references. Its reasoning and tool-use capabilities support financial modeling, investment research, document analysis, and multistep business workflows. The model is available through Kimi's web and mobile applications, Kimi Work, Kimi Code, and the Kimi API, with a Highspeed variant.
Learn more
