OpenAI developed the first AI reasoning model less than a year ago, but the technology has shifted Silicon Valley's focus to ...

An exclusive conversation with Mark Chen and Jakub Pachocki, OpenAI’s twin heads of research, about the path toward more ...

OpenAI’s o1 model is making waves in the developer community, and for good reason. It excels at solving complex problems in ...

Linking AI models to formal verification methods can correct LLM shortcomings such as false assertions. Amazon's Byron Cook ...

This was originally published in the Artificial Intelligencer newsletter, which is issued every Wednesday. Sign up here to ...

AI breakthroughs dazzled headlines, but what’s the real story? Explore the truth behind AI’s Math Olympiad win and GPT-5’s ...

Alphabet’s Google and OpenAI said their AI models won gold medals at a global mathematics competition, signaling a ...

A Google DeepMind researcher and OpenAI’s former ​​CTO are posing questions about the validity of OpenAI’s claim about its ...

OpenAI and Google's AI models achieved impressive results in a difficult math competition, but disputed how the other got ...

OpenAI's latest AI model has achieved gold medal-level performance at the IMO, solving 5 out of 6 of the world's toughest ...

An experimental LLM from OpenAI solved some of the world's hardest math problems at the 2025 International Math Olympiad, the company said.

The National Academy for AI Instruction will make artificial intelligence training accessible to educators across the country ...