AI is increasingly being used as collaborators in mathematical research rather than simply as computational tools.

Artificial intelligence has reached a new milestone, unveiling the capability to score a perfect 100 at the International ...

The Jacobian conjecture has bedeviled math experts for nearly 90 years.

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

An 87-year-old mathematical puzzle was solved using AI, surprising experts and marking the most complex problem yet tackled ...

Claude Fable 5 reportedly disproved the Jacobian Conjecture with a one-line counterexample, signaling AI’s growing math role.

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role in research.

Artificial intelligence can accelerate scientific discovery, but it isn't as simple as submitting a single query to an AI model. Research led by a collaboration between Carnegie Mellon University's ...

The GSMM Camp is a weeklong workshop that builds interdisciplinary problem-solving skills for graduate and advanced undergraduate students. Participants work in teams on mathematically rich problems ...

There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...