New o3 and o4-mini models can autonomously use web browser and coding tools, the company says.

OpenAI is rolling out a pair of new artificial intelligence models that mimic the process of human reasoning to field more complicated coding questions and visual tasks, the latest in a flurry of ...

GLM-5.1 is a new open weights reasoning model focused on coding, agentic engineering and long horizon execution. This deep ...

Nvidia's Nemotron-Cascade 2 is a 30B MoE model that activates only 3B parameters at inference time, yet achieved gold ...

Grok 4 and its reasoning-focused counterpart, Grok 4 Heavy, arrived with an immediate sense of ambition, offering multimodal AI designed to handle coding, logic, and perception tasks. In the initial ...

Anthropic recently unveiled Claude 3.7 Sonnet, an advanced AI model that builds upon its predecessors to deliver improved reasoning and coding capabilities. While not the anticipated Claude 4, this ...

A startup called Imandra Inc. says it’s taking artificial intelligence-driven code completion to the next level with the launch of an entirely new and automated reasoning system called CodeLogician.