AI math tools are solving problems that stumped humans for decades. A Northeastern mathematician explains why people still ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

This staggering quantity of mathematical progress builds on AI developments that have unsettled the research community.

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.

Since you last thought about math, the people who think about math every day have been freaking out. A month ago, when OpenAI announced that one of its powerful internal models had cracked a ...

As companies entrust AI systems with increasingly valuable intellectual property, the policies governing model training, retention and access become part of the technical architecture, not simply ...

Analysis of 32,944 arXiv math submissions shows AI disclosure jumped from 4.75% in March to 24.14% by August, with substantive AI contributions ...