A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...

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

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

Brian Wang is a Futurist Thought Leader and a popular Science blogger with 1 million readers per month. His blog ...

They had to throw away most of what it produced but there was gold among the garbage. Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper ...

A South Korean mathematician has solved a geometry puzzle that baffled experts in the field for nearly six decades.

Ramsey problems, such as r(4,5) are simple to state, but as shown in this graph, the possible solutions are nearly endless, making them very difficult to solve. We’ve all been there: staring at a math ...

When one thinks of mathematics, the thought that comes to most peoples’ heads is solving an equation and getting a correct answer. That is the case with many mathematical theorems, including one of ...

MADRID, Spain — A reclusive Russian won the math world’s highest honor Tuesday for solving a problem that has stumped some of the discipline’s greatest minds for a century — but he refused the award.

OpenAI’s claim that GPT-5 had solved ten of Paul Erdős’s famous “unsolved” math problems has drawn sharp backlash from across the AI industry, after experts revealed the model merely rediscovered ...