Erdos problems now seem to be falling with regularity at the hands of AI. AI has notched another milestone in mathematical ...

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

Professional mathematicians have been stunned by the progress amateurs have made in solving long-standing problems with the ...

Renowned mathematician, professor Chandrashekhar Khare, offered a rare and deeply personal peek into the life of a mathematician during a conversation at IISER in Pune on January 14 ...

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

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

A decades-old geometry puzzle has finally been solved by a young mathematician in South Korea. Hidden behind a simple hallway ...

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

In the corner of a bustling warehouse in San Diego, Diane Hoffoss, PhD, stands surrounded by circuitry and LED lights. It's a far cry from the abstract world of topology where she began her ...

After almost sixty years of stumping progress in geometry, a Korean mathematician has cracked a problem that generations of ...

More and more cases of AI helping solve previously unsolved mathematical problems are emerging. In what appears to be a ...

A South Korean researcher who solved the ‘moving sofa problem,’ a mathematical puzzle that had remained unsolved for nearly 60 years, was selected as one of the top 10 mathematical innovations of 2025 ...