OpenAI has said that Astra, a model it has not yet released publicly, produced solutions to ten long-open problems in ...

For all of the recent strides we’ve made in the math world, we’re forever crunching calculations in pursuit of deeper ...

AI tools helped solve around 100 extant problems left behind by one of the 20th century's greatest mathematicians. Hungarian Paul Erdős proposed 1,179 conjectures — unproved math statements, such as ...

OpenAI’s latest AI model, Astra, has gained attention for solving ten significant mathematical problems, including breakthroughs in sphere packing and geometric conjectures. These areas have ...

Some math problems are as old as the wind, experts say and many remain truly unsolved. But a new open source-based site from the American Institute of Mathematics (AIM) looks to help track work done ...

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early August 2026 pushed the story into new territory. The company said its latest ...