The Millennium Prize breakthrough is proof of AI’s accelerating and terrifying progress ...

Penn researchers have developed a smarter AI method for solving notoriously difficult inverse equations, which help scientists uncover hidden causes behind observable effects. By introducing ...

Researchers at OpenAI say one of its unreleased models solved a mathematical puzzle that has eluded mathematicians for generations.

US tech giant OpenAI on Tuesday said it had solved one of the hardest problems in mathematics with an unreleased artificial intelligence model after just 88 hours – and millions of dollars' worth of ...

OpenAI said Tuesday that one of its unreleased artificial intelligence models had solved a mathematical puzzle that has eluded mathematicians for generations, a claim that also drew a fight with rival ...

The company’s announcement has been dogged by questions about whether it improperly used work from another research team or sought to deny credit — allegations OpenAI denies.

In new research, mathematicians have narrowed down one of the biggest outstanding problems in math. Huge breakthroughs in math and science are usually the work of many people over many years. Seven ...

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 best-yet test of artificial intelligence’s mathematical mettle has released its first official round of results. The verdict is that large language models (LLMs) are emerging as useful—albeit ...