Rumors suggest two DeepSeek V4 options, a flagship for long coding and a lighter build, so teams can ship multi-file updates ...

OpenAI has released two AI “reasoning” models that it says are its most capable yet as well as an open-source AI agent that helps computer programmers code, as the company seeks to gain a lead over ...

GLM-4.7 Flash packs 31B parameters and an MIT license with free API access, helping you test ideas and ship tools on a tiny budget.

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

B, an open-source AI coding model trained in four days on Nvidia B200 GPUs, publishing its full reinforcement-learning stack as Claude Code hype underscores the accelerating race to automate software ...

OpenaI o3 sets new records in several key areas, particularly in reasoning, coding and mathematical problem-solving. It scores 75.7% on the semi-private eval in low-compute mode (for $20 per task in ...

TL;DR: OpenAI has announced the release of its new reasoning model, o3, featuring simulated reasoning and improved capabilities in visual reasoning, coding, and mathematics. The o3-mini version will ...

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

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.