Linking AI models to formal verification methods can correct LLM shortcomings such as false assertions. Amazon's Byron Cook explains the promise of automated reasoning.

A Tesla Model Y Performance prototype was spotted testing in California ahead of its launch in the US, which is expected soon.

A Guess campaign in Vogue featuring an artificially generated model has reignited debate over what it might mean for real-life models pushing for greater representation and diversity, and ...

Anthropic launched Claude Opus 4.1. The model exceeds the predecessor's performance on complex tasks. It is available to paid Claude users, Claude Code, API, Amazon Bedrock, and Google Cloud's ...

OpenAI announced its latest model, GPT-5, in a livestream on Thursday. The new model outperforms OpenAI's old models, particularly when it comes to coding.

OpenAI is releasing a new open-weight model dubbed GPT-OSS that can be downloaded for free, be customized, and even run on a laptop.

The new language model is more efficient, accurate and better at problem-solving than prior iterations.

Tesla has stopped taking new orders for its flagship Model S and Model X vehicles in Europe. It’s not the first time it happened, but it still raises questions.

Vogue and Guess are under fire for the label's use of an AI model in an ad within the magazine's latest issue.

OpenAI announced Tuesday the launch of two open-weight AI reasoning models with similar capabilities to its o-series. Both are freely available to download from the online developer platform ...

OpenAI has finally released its first open-weight large language models since 2019’s GPT-2. These new “gpt-oss” models are available in two different sizes and score similarly to the company ...