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 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 ...

Anthropic has launched Claude Opus 4.8, a new AI model. It offers better coding and reasoning abilities. Users can now ...

OpenAI on Thursday unveiled its highly anticipated GPT-5, a powerful multi-modal AI model featuring major advancements in problem-solving and coding. The new flagship model was announced during a ...

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...

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 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 ...

Microsoft announced a bunch of new in-house AI models at Build 2026, including a new “flagship” model: MAI-Thinking-1. It’s ...

Kurrent, the company behind KurrentDB, the leading event-native database, today announced the private preview launch of Kurrent Capacitor, an AI-native shared memory solution for coding agents.