In recent days, a new large language model from China has started circulating through technical circles with an unusual mix ...

Z.ai’s GLM-5.2 is an open-source model aimed at long-context coding-agent workflows, with support for a one million-token ...

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.

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

Last week, when OpenAI launched GPT-5, it told software engineers the model was designed to be a “true coding collaborator” that excels at generating high-quality code and performing agentic, or ...

Anthropic says Claude 4 worked autonomously for seven hours in customer tests. Anthropic says Claude 4 worked autonomously for seven hours in customer tests. is a news writer focused on creative ...

OpenAI’s recently launched o3 and o4-mini AI models are state-of-the-art in many respects. However, the new models still hallucinate, or make things up — in fact, they hallucinate more than several of ...

The Copenhagen-based health AI company built Symphony on peer-reviewed research from the largest medical coding study of its kind, treating coding as a reasoning task rather than a labelling problem.

OpenAI announced on Wednesday the launch of o3 and o4-mini, new AI reasoning models designed to pause and work through questions before responding. The company calls o3 its most advanced reasoning ...

Microsoft has announced a new family of seven artificial intelligence models under its Microsoft AI (MAI) division, marking one of the company’s biggest model launches to date. The announcement, made ...