You were smarter than AI at math only a few years ago. Yes, even you.

After a previous solution angered mathematicians, the company characterized the new release as being more responsive to concerns about A.I. disrupting research.

"Mathematics is not a game of chess," one Fields Medal winner told CNET. Mathematicians worry AI companies are just trying to win.

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

A month after its Millennium Prize solution, OpenAI released findings on more than 300 problems—and tried to win back the world of math.

OpenAI plans to release hundreds of AI-generated math solutions on GitHub, including formal Lean 4 proofs for longstanding open problems.

Internal AI proofs on harmonic analysis, ETH and quantum field theory enter expert review less than a month after 700 math ...

Microsoft is doubling down on the potential of small language models (SLMs) with the unveiling of rStar-Math, a new reasoning technique that can be applied to small models to boost their performance ...

OpenAI said 10,000 of its agents solved the 90-year-old Navier-Stokes problem in 88 hours. The company, which is behind ChatGPT, said it used a system of 10,000 "coordinating agents" powered by its ...

OpenAI publishes 722 AI-generated math papers after its models outgrew benchmarks. See what's solved and what's unverified.

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

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...