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.

OpenAI and Google LLC today disclosed that their latest reasoning models achieved gold-level performance in a recent coding competition. The ICPC, as the event is called, is the world’s most ...

DeepSeek V3.1 represents a notable step forward in artificial intelligence, particularly in the realms of coding and reasoning. With its enhanced token generation, improved reasoning capabilities, and ...

Google has recently launched its Gemini 2.5 Pro, an advanced AI model designed to provide improved reasoning, coding, and problem-solving capabilities. With its innovative multimodal functionality, ...

AI company Anthropic today announced the launch of two new Claude models, Claude Opus 4 and Claude Sonnet 4. Anthropic says that the models set "new standards for coding, advanced reasoning, and AI ...

OpenAI has officially launched its new GPT 5.4 model, which combines advanced reasoning, coding capabilities, and improved task performance into a single flagship model. Alongside the standard model, ...

OpenAI has introduced the o1 series, its most sophisticated AI models to date, which are designed to excel at complex reasoning and problem-solving tasks. The o1 models, which use reinforcement ...

Gemini 3 is Google’s latest AI model, offering improvements in reasoning, coding, and multimodal analysis. New features include the Gemini Agent tool and generative interfaces, such as visual layout ...

Enterprises that have been juggling separate models for reasoning, multimodal tasks, and agentic coding may be able to simplify their stack: Mistral’s new Small 4 brings all three into a single ...

On Thursday, the AI platform Clarifai announced a new reasoning engine that it claims will make running AI models twice as fast and 40% less expensive. Designed to be adaptable to a variety of models ...

Anthropic launched an advanced AI model on Monday that can produce faster responses or display its step-by-step reasoning process, as it looks to gain a competitive edge in the generative artificial ...

Feb 24 (Reuters) - Anthropic on Monday launched an advanced AI model that can produce faster responses or display its step-by-step reasoning process, as it looks to gain a competitive edge in the ...