OpenAI has achieved "gold medal-level performance" at the International Math Olympiad, notching another important milestone for AI's fast-paced growth. Alexander Wei, a research scientist at OpenAI ...

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

Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it has raised $100 million in new funding on a nearly $900 million valuation to accelerate the ...

OpenAI Model Wins Gold at International Mathematical Olympiad – or Did It? Your email has been sent A Google DeepMind researcher and OpenAI’s former CTO are posing questions about the validity of ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

The ChatGPT maker reveals details of what’s officially known as OpenAI o1, which shows that AI needs more than scale to advance. The new model, dubbed OpenAI o1, can solve problems that stump existing ...

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now Google DeepMind announced Monday that an ...

Watch out, nerdy high schoolers, AlphaGeometry is coming for your mathematical lunch. Credit...Christian Gralingen Supported by By Siobhan Roberts Reported from Stanford, Calif. For four years, the ...

If OpenAI's new model can solve grade-school math, it could pave the way for more powerful systems. This story is from The Algorithm, our weekly newsletter on AI. To get stories like this in your ...

Join the event trusted by enterprise leaders for nearly two decades. VB Transform brings together the people building real enterprise AI strategy. Learn more In a new paper, researchers from various ...