In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...

Researchers at Google DeepMind have announced that their AI system, AlphaProof Nexus, has solved nine longstanding problems posed by Paul Erdős, including some that remained unsolved for over fifty ...

This is a huge advance for AI to make big progress with better reasoning and better math. Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new ...

Mathematicians are stunned at the progress AI is making in solving advanced problems, leaving some questioning whether there ...

DeepMind, the Google AI R&D lab, believes that the key to more capable AI systems might lie in uncovering new ways to solve challenging geometry problems. To that end, DeepMind today unveiled ...

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