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

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

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

An institution has offered a $1 million prize to anyone who can solve a famous math problem that has puzzled mathematicians for more than a century. The Riemann hypothesis, first proposed by German ...

Paul Erdős, known as the most prolific mathematician of the 20th century, proposed many unsolved problems throughout his life, known as 'Erdős problems.' GPT-5.2 Pro solved one of these problems, and ...

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

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