“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

Last week, OpenAI released “o1,” a new AI model that can reason through hard problems by breaking them down to their component parts and handling them step by step. Released in two iterations, ...

If you’re a hacker you may well have a passing interest in math, and if you have an interest in math you might like to hear about the direction of mathematical research. In a talk on this topic [Kevin ...

It’s been almost a year since DeepSeek made a major AI splash. In January, the Chinese company reported that one of its large language models rivaled an OpenAI counterpart on math and coding ...

In a nutshell: OpenAI has unveiled a new series of AI language models named the "o1," specifically engineered to enhance reasoning capabilities, particularly for complex issues in science, coding, and ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...

French AI lab Mistral is getting into the reasoning AI model game. On Tuesday morning, Mistral announced Magistral, its first family of reasoning models. Like other reasoning models — e.g. OpenAI’s o3 ...

SAN FRANCISCO — Online chatbots like ChatGPT from OpenAI and Gemini from Google sometimes struggle with simple math problems. The computer code they generate is often buggy and incomplete. From time ...